Hello world

#include <stdio.h>

void print_hello()
{
    puts("Hello world!");
}

int main(int argc, char **argv)
{
    print_hello();
    return 0;
}