Constant ContractRequires 

pub const ContractRequires: Symbol;