Constant contracts_requires 

pub const contracts_requires: Symbol;