measuring PROFILE overhead..done
  seconds  |     gc     |    consed   | calls |  sec/call  |  name
---------------------------------------------------------
     3.049 |      0.080 | 534,174,768 |   310 |   0.009835 | CL-LZMA:LZMA-DECOMPRESS
     0.073 |      0.000 |           0 |   310 |   0.000235 | CL-LZMA/AUTOWRAP:LZMA-DECODE
     0.004 |      0.000 |   1,397,008 |     1 |   0.003660 | FOX5/BASE:READ-FOX5
---------------------------------------------------------
     3.125 |      0.080 | 535,571,776 |   621 |            | Total

estimated total profiling overhead: 0.00 seconds
overhead estimation parameters:
  1.4e-8s/call, 9.820001e-7s total profiling, 4.34e-7s internal profiling