monad define 1024
  while. 0 < y do.
    smoutput y
    y =. <. -: y
  end.
  i.0 0
)