/* This seems to work */
int main() {
void fi() {
void f2() {
printf("F2\n");
}
void f3() {
printf("F3\n");
f2();
}
printf("F1\n");
}
fi();
f3();
return 1;
}