Constant __ensures_checker 

pub const __ensures_checker: Symbol;