Now uses virtual registers.