procedure posint()
   local i
   i := 0
   suspend |(i +:= 1)
end