pub const DBGKD_MAJOR_MIDORI: DBGKD_MAJOR_TYPES = 9i32;