methodmap Y { }; class X < Y { }; public main() { }