#include int print_hello_world() { printf("Hello from the hello world library\n"); }