pub const DBGKD_MAJOR_CE: DBGKD_MAJOR_TYPES = 10i32;