Print inline asm and make the generated one nicer