The
:explain
declaration controls messages printed by the compiler while it is processing forms, helping you to optimize your code.
Various keywords allows you to see information about compiler transformations depending on type information, allocation of floats and bignums, floating point variables, function calls, argument types and so on. See the section "Optimizing your code" in the LispWorks User Guide .