X86.RegInfo
mkVirtualReg
regDotColor