Added comments about register allocation.