procedure limit(p,i)
   local j
   j := &pos
   suspend p() \ i
   &pos := j
end