pub const EXIT_THREAD_DEBUG_EVENT: u32 = 4; // 4u32