int foo() { return 7; }