Constant JIT_DEBUGGER_TYPE_QUIT 

pub const JIT_DEBUGGER_TYPE_QUIT: u32 = 0;