<gnu_srs>What about Flavio Cruz improvement of mig, would that help? <jrtc27>it's hard for me to comment without any description of what those changes are nor any reference to them <jakelp>youpi: are you just saying there may be non-portably-written code that hasn't been caught yet? ***Server sets mode: +nt
<youpi>jrtc27: it's not that simple, precisely, 16/32/64 types have to be separated apart. Also, x86_64 uses a different segmentation model ***Emulatorman__ is now known as Emulatorman