[IterativeFactorial : *p1 ; & 158 97] [Int : *p2 ; & 320 98] (Out ?p1 [Int ; & 30 95]; (97 106)(158 106)(51 106)) (Out [Read ; $1 & 410 101] ?p2 ; (368 104)(410 106)(341 103)) (In ?p2 ?p1 ; (277 99)(320 98)(245 101))