Use GNU ASM TIP convention