Factor out code into HandleVirtRegDef, for consistency with