type
  Handle = Int

var
  limit: const Int := 1

proc check()
begin
  assert(limit = 1)
return

end.