t1 := n
t2 := 0
t3 := t1 < t2
IF_NOT t3 GOTO label1       ;; inverted so that 'then' comes next
t4 := 1
GOTO label2
LABEL label1
t5 := n
t6 := n
t4 := t5 * t6
LABEL label2
