pub type Va = u64;
Virtual address type, absolute address as known by the image. Not always the same as a pointer.