1proc main!() { 2 let x = is 1 in [1, 2, 3] 3 let y = is end or pass 4 let z = is 5 = 4 5 exit x && y && !z 6}