procedure main(args) n := integer(!args) | 27 every writes(" ",hailstone(n)) end