int simple2() { return 789; }
