The 64-bit unsigned integer at address + sizeOf<Uint64>() * index.
address + sizeOf<Uint64>() * index
The address must be 8-byte aligned.
external void operator []=(int index, int value);