Constant _REENT_CHECK_VERIFY 

pub const _REENT_CHECK_VERIFY: u32 = 1;