Kludge to specify 8-byte pointers for AArch64