compS_f#1 compS_f x2 x1 compS_f#1 x2 S x1 compS_f#1 id x3 S x3 iter#3 0 id iter#3 S x6 compS_f iter#3 x6 main 0 0 main S x9 compS_f#1 iter#3 x9 0 compS_f#1 2 compS_f 1 S 1 id 0 iter#3 1 0 0 main 1 INNERMOST hoca/id.trs