DEFINE factorial == [0 =] [pop 1] [dup 1 - factorial *] ifte.