use labels for inline assembler