1 2 3 4 5 6
val _ = __builtin "exit" (case [1, 2, 42] of [] => 10 | [x] => x | [_, _, x] => x | _ => 13)