added missing TestCollatz.out