(labels ((! (!)
           (if (<= 1 !)
               (* ! (! (1- !)))
               1)))
  (! 16))