pub const ptr_guaranteed_ne: Symbol;