1 2 3 4 5 6 7 8 9 10 11 12
var x: Int := 2 begin case x of 1: assert(false) | 2: assert(true) | 3: assert(false) else assert(false) end end.