I wonder how much of the original Common Lisp code is still running in the QPX[1][2] part of ITA.

[1] http://lambda-the-ultimate.org/node/2491#comment-38434

[2] https://news.ycombinator.com/item?id=1479107