#include void f2() { printf("hello\n"); }