pub const PRIu_xen_pfn: &[u8; 3] = b"lu\0";