"should" is not the same thing as "does". If I have this correct knowing this and knowing how the bytecode was created would have been helpful. Are there more bugs of this nature where setting the option has a differening behavior? Also, I believe there are performance differences and differences in capabilities. e.g
--with-wide-int
adds:
and how inside of Emacs is one supposed to know if this is in effect?