int foo9() { return 9; };