compiles in ARM 64-bit mode