the only way to convince gcc that they read the MXCSR. The volatile annotation may be needed elsewhere as well.