pub const _MM_EXCEPT_UNDERFLOW: u32 = 16;