int foo32() { return 32; };