I've been looking at Scheme48, and I also read Kelsey's paper on its use of Pre-Scheme for implementing the Scheme48 VM. How hard would it be to get the Pre-Scheme compiler to emit assembly rather than C? How hard would it be to eliminate OS dependencies from the generated code so it could (for example) be run on the metal?