int foo() { return _Z3fooPKc(); }