Da ist schon einer dran, an der Symbolics Emulation. Und sein Weg ist extra klasse: die Lisp-Sourcen des Microcodes der Symbolics aus der Patentschrift OCRed und umgewandelt und jetzt baut er einen Emulator und wühlt sich durch die im Patent fehlenden Microcode-Instruktionen. Manche Leute haben - zum Glück - einfach zu viel Freizeit
Hier gibts den Originalartikel.