Constant contract_check_requires 

pub const contract_check_requires: Symbol;