program class Main static func main inttype formals stmtblock assign varref i cond varref a varref b varref c assign varref i cond varref a cond varref b cond varref d varref e varref f varref g varref h assign varref i cond or not varref a varref b equ varref c varref d add varref e varref f return intconst 0