more on register allocation
more register allocation stuff