export int foo() { return 666; }