Comment 2 for bug 521153

After recent changes to pprint, with (*print-pretty* t) intact (and timeouts are, of course, removed from the test-case):

(time (test '(debug 3)))
Evaluation took:
  10.046 seconds of real time
  10.040628 seconds of total run time (9.404588 user, 0.636040 system)
  [ Run times consist of 0.156 seconds GC time, and 9.885 seconds non-GC time. ]
  99.95% CPU
  3 forms interpreted
  4 lambdas converted
  33,065,221,686 processor cycles
  4,222,406,976 bytes consed