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