eric dahlman writes without proofreading: > > Conversely, is it also not beneficial to have a general mechanism that Oops. It is beneficial not *not* beneficial. > can be put to use when possible. For instance, the compiler has > proven that the following section of code will only use fixmums so we > can use the ALU that "normally" would be doing tag checking for "real" > work.