generated TestCollatz.out