#include void hello_world() { printf("Hello world!\n"); }