pub const DEBUG_DUMP_WINDOWS_CE: u32 = 1029u32;