2.12.3 Register Allocation