More register allocation code.