#include void print() { printf("Hello world\n"); } int f() { return 1; }