program class Class1 Base vardef x classtype Base class Main static func main inttype formals stmtblock vardef a inttype vardef b inttype vardef c inttype assign varref a intconst 0 assign varref b intconst 1 assign varref c intconst 2 vardef aa classtype Class1 vardef bb classtype Class2 vardef cc classtype Base vardef dd inttype assign varref dd call getNum conditional-expression gtr add varref a intconst 1 intconst 3 conditional-expression varref a pclone pclone varref aa varref bb pclone varref x varref aa pclone varref cc varref x varref bb varref bb varref cc repeat gtr varref a varref b stmtblock if gtr varref a varref c continue assign varref a sub varref a varref b assign varref c add varref a varref b while gtr varref a varref b stmtblock assign varref a mul varref a intconst 3 assign varref b mul varref b intconst 4 if equ div varref a intconst 4 intconst 0 continue switch add add varref a varref b varref c case: intconst 0 case: intconst 1 repeat conditional-expression equ varref a intconst 1 conditional-expression varref a varref b varref c add varref b varref c assign varref a add varref a intconst 1 break return intconst 0 class Base vardef num inttype func getNum inttype formals stmtblock return varref num class Class2 Base vardef y classtype Base