int foo() { return RESULT; }