[RecursiveFactorial : *p1 ; & 179 157] [Int : *p2 ; & 143 106] (In ?p2 ?p1 ; (194 139)(166 121)(222 157)) (Out ?p1 [Int ; & 283 214]; (264 194)(244 174)(285 214)) (Out [Read ; $1 & 57 78] ?p2 ; (120 101)(97 93)(143 109))