Constant contract_build_check_ensures 

pub const contract_build_check_ensures: Symbol;