pub const MM_PRECEPT: u32 = 153u32;