IVirtualAddr - in an int-based 32 bit memory system