int foo() { return 43; }