Constant VADDR_PRIx 

pub const VADDR_PRIx: &'static [u8; 3] = b"lx\0";