4 9 1
let x0 = 0
let x1 = 1
let x2 = 42
if x0 <= x3 goto +6
end
rem output should be uninitialized variable read
end
let x2 = -42
if x0 <= x1 goto -2
