int get_return_value2() { return 20; }