: factorial   \ n -- n!
     1 swap ' n:* 1 rot loop ;