main() { printf("foo\n"); }