pub const ptr_guaranteed_eq: Symbol;