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