Constant contracts_requires

pub const contracts_requires: Symbol;