procedure Hailstone;