(print (load-time-value (factorial 10)))