procedure pause(i)
   local j
   j := &time
   while (&time - j) < i
   return
end