Constant JIT_DEBUGGER_DATA1_LEAVE 

pub const JIT_DEBUGGER_DATA1_LEAVE: u32 = 10002;