php_all_sys::php71

Constant IS_CONSTANT_VISITED_MARK

Source 
pub const IS_CONSTANT_VISITED_MARK: u32 = 32;