Constant JIT_DEBUGGER_TYPE_DETACH_THREAD 

pub const JIT_DEBUGGER_TYPE_DETACH_THREAD: u32 = 5;