What is happening here? Doubling of the number of registers? Where do they come from?