int foo() { return 5; }