pub const _MM_MASK_DIV_ZERO: u32 = 512;