#include <stdio.h> int print_hello (void) { printf ("Hello, world!\n"); return 42; } int main (void) { print_hello (); print_hello (); return 42; }