int foo12() { return 12; };