5.13 - allocating registers as they are seen.