Provisional:
- labels are assigned mostly correctly (thus, branching works)
- a lot of experiments were tried, so the code isn't very neat
Labels are now assigned correctly. Removing instr2.