Constant contract_check_requires

pub const contract_check_requires: Symbol;