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