update TestCollatz after changing collatz_read