var
  x: Int := 3

program()
begin
  case x of
    1, 2, 3: assert(true)
  | 4, 5: assert(false)
  else
    assert(false)
  end
return 0u8

end.