pub const PRIxPTRDIFF: &[u8; 3] = b"tx\0";