pub const ptr_offset_from_unsigned: Symbol;