Constant contracts_ensures 

pub const contracts_ensures: Symbol;