int foo31() { return 31; };