Collatz example