Update collatz_aft.s