var
  x: Int := 2

begin
  case x of
    1: assert(false)
  | 2: assert(true)
  | 3: assert(false)
  else
    assert(false)
  end
end.