Created attachment 364995 [details] [diff] [review] Proposed patch The assembler's L1: style labels should only guide the assembler's internal calculations. If the program needs a label, then it should be explicitly coded. Attached patch: - never generates an OP_label by assembler-internal calculations. - supports label as an instruction so it can be coded into the program. - modifies the two testcases that need a label on a backwards branch.