#include "libhello.h" #include #include void print_hello_world(void) { printf("Hello world!\n"); }