changed inline assembler labels to short form