another 64-bit dirty