Virtual single-assignment registers
