example|RecursiveFactorial

~~~:<factorial>   dup #1 -eq? 0; drop   dup n:dec <factorial> * ;   :factorial   dup n:zero?   [ n:inc ]   [ <factorial> ] choose ; ~~~