Constant MCE3 

pub const MCE3: *mut () = _; // {0x5200c000 as *mut ()}