Inline asm for 5x64