proc main!() {
    let set = [| 1, 2, 3, 4, 5 |]

    let y = match set
        case [| 0, 1, 2, ..rest |] then rest
        case [| 1, 2, 5, ..rest |] then rest
        else _ then unit

    exit y
}