// temporary test file #include #include int f() { return 7; } void entry(void) { printf("%d\n", f()); exit(0); }