Modified collatz procedure to be more terse