procedure arbno(p)
   suspend "" | (p() || arbno(p))
end