[vwnc] Anyone have any processors in Smalltalk or a formal semantics?

    I wonder if anyone has any 32-bit processor implementations, either in Smalltalk or in some other, preferrably easy-to-parse, formal semantics, they're willing and able to donate to my Squeak VM project.  In implementing the new Squeak JIT VM I would like to continue developing in Smalltalk using VMMaker/Slang, but this implies having a processor simulation in Smalltalk to produce actual machine code for.  Ideally this would be an x86 of some description (doesn't need to be bang up to date, 386 would be fine).  I'd also welcome an ARM.

TIA