int return4() { return 4; }