program class Main static func main inttype formals stmtblock guardeddo guardedstmt equ les varref a intconst 4 add intconst 3 varref a stmtblock assign varref a add varref a varref b assign varref b add varref b varref a guardeddo guardedstmt equ les varref a intconst 4 add intconst 3 varref a stmtblock assign varref a add varref a varref b assign varref b add varref b varref a guardedstmt gtr varref i intconst 4 assign varref a intconst 2 guardedstmt gtr varref a intconst 4 if gtr varref a varref b assign varref q intconst 3 return intconst 0