> (require (lib "trace.ss")) > (trace factorial) (factorial) > (factorial 4) |(factorial 4) | (factorial 3) | |(factorial 2) | | (factorial 1) | | 1 | |2 | 6 |24 24 >