@type [runtime] @bytecode PUSHINT 7; PUSHINT 6; GEQ; PUSHVAR "print"; CALL 1, 1; POP 1; EXIT; @output [true]