(disassemble #'(lambda (x y) (+ x y)))
(format t "~%Factorials: ~A"
   (loop :for fac := 1 :then (* fac i)
       :for i :from 2 :to 32
       :collect fac))

Disassembly of function :LAMBDA
2 required arguments
0 optional arguments
No rest parameter
No keyword parameters
4 byte-code instructions:
0     (LOAD&PUSH 2)
1     (LOAD&PUSH 2)
2     (CALLSR 2 55)                       ; +
5     (SKIP&RET 3)
Factorials: 
(1 2 6 24 120 720 5040 40320 362880 3628800 39916800 479001600 6227020800 87178291200
 1307674368000 20922789888000 355687428096000 6402373705728000 121645100408832000
 2432902008176640000 51090942171709440000 1124000727777607680000 25852016738884976640000
 620448401733239439360000 15511210043330985984000000 403291461126605635584000000
 10888869450418352160768000000 304888344611713860501504000000 8841761993739701954543616000000
 265252859812191058636308480000000 8222838654177922817725562880000000)