int foo1() { return 1; };