pub const DBGKD_MAJOR_MIDORI: DBGKD_MAJOR_TYPES;