Someone is already working on the Symbolics emulation. And their approach is extra cool: they OCRed the Lisp sources of the Symbolics microcode from the patent document, converted them, and now they're building an emulator and working their way through the microcode instructions that are missing from the patent. Some people—fortunately—simply have too much free time.

Here's the original article.