cs373-collatz-tests