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