"[0]uint64" only guarantees 8-byte alignment (and only under certain scenarios), not 64-byte.