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