I have put on the web a paper which explains how Gambit-C does speculative predefined procedure inlining. It also briefly describes the compiler's architecture. I think it will be a useful read for those interested in knowing more about the implementation of Gambit-C. The paper is available here: http://www.iro.umontreal.ca/~feeley/papers/ifl07-feeley.pdf Marc