Adding basic block labels.
Probably correct.
Local variables setup and spilling/filling.