This is SBCL 2.6.0, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses.  See the CREDITS and COPYING files in the
distribution for more information.
sanity check: C-KEYWORDS::|typedef| C-KEYWORDS::|typedef| C-KEYWORDS::|typedef|, NIL NIL NIL
Evaluation took:
  0.313 seconds of real time
  0.312909 seconds of total run time (0.312740 user, 0.000169 system)
  100.00% CPU
  565,693,128 processor cycles
  0 bytes consed

Evaluation took:
  18.223 seconds of real time
  18.196311 seconds of total run time (18.195316 user, 0.000995 system)
  99.85% CPU
  32,889,077,829 processor cycles
  0 bytes consed

Evaluation took:
  15.493 seconds of real time
  15.468644 seconds of total run time (15.467681 user, 0.000963 system)
  99.85% CPU
  27,962,009,153 processor cycles
  0 bytes consed

Evaluation took:
  0.226 seconds of real time
  0.225510 seconds of total run time (0.225510 user, 0.000000 system)
  100.00% CPU
  407,622,219 processor cycles
  0 bytes consed