procedure digsum(n)
   local j

   repeat {
      j := 0
      every j +:= !n
      if *j > 1 then n := j else return j
      }

end