pub const PRIXPTRDIFF: &[u8; 3] = b"tX\0";