define rec_fac
      { dup 1 <= [pop 1] [dec rec_fac *] if }