Constant Ensures 

pub const Ensures: Symbol;