program()
const
  BASE = 2
  LIMIT = BASE
var
  x: Int := 2
  matched: Bool := false

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