int foo() { return 42; }