(define-constant DIX! (factorial 10))
(define-constant DIX!+1 (1+ DIX!))

(writeln DIX!+1)
3628801