var
  base: const Int := 2
  limit: const Int := base
  x: Int := 2
  matched: Bool := false

begin
  case x of
    1: assert(false)
  | limit: matched := true
  end;
  assert(matched)
end.