Constant JIT_DEBUGGER_DATA1_ENTER 

pub const JIT_DEBUGGER_DATA1_ENTER: u32 = 10001;