Constant contract_build_check_ensures

pub const contract_build_check_ensures: Symbol;