#include int print_hello (char *name) { return printf ("Hello %s!\n", (name) ? name : "world"); }