Use 64-bit instructions