cst 0 -> R5
cst jump+1 -> R0 (* destination of the jump *)
cmp R5, R6       (* test some input *)
gotoLT ok
store R7 -> *R0  (* erase the destination of the jump with some input *)
jump: gotoLT 0   (* branch cannot be taken *)
ok: halt R5