Registers and labels generation
Registers and labels generation