int foo7() { return 7; };