Constant DEBUG_END_REENTRANT

pub const DEBUG_END_REENTRANT: u32 = 3u32;