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