Hi, On Tue, Apr 4, 2017 at 9:53 PM, James Darnley <jdarnley at obe.tv> wrote: > The labels get stripped leading to (slightly) nicer disassembly from > objdump. > [..] > - jz .cycle%1end > + jz %%skip Can you preserve the leading dot? I don't mind the %%skip, but please make it .%%skip. Ronald