Don't document exactly how virtual registers are represented as integers. Code