pub const DBGKD_SIMULATION_EXDI: i32 = 1i32;