 even optimize away the
procedure call entirely.  That would make them a lot smaller, too.</li>

<li> Although it does some <b>inlining</b> now, it could do more.
Also, the existing inlining would benefit from a preliminary scanning
pass to see which <b>globals are never mutated</b> and can therefore
be inlined safely without breaking Scheme's semantics.  Such a scan
could also remove the type-check, the two fetches, and the computed
call instruction, on the vast majority of procedure calls, and the
argumen