pub const MPBOOL_TRUE: u32 = 1u32;