pub const DBGKD_SIMULATION_NONE: i32 = 0i32;