procedure spectseq(r)

   suspend integer(seq() * r)

end

procedure beatty1seq(r)

   if r < 1.0 then fail

   suspend integer(seq() * r)

end

procedure beatty2seq(r)

   if r < 1.0 then fail

   suspend integer(seq() * (r / (r Ð 1)))

end