int foo() { return VALUE; }