The 64-bit unsigned integer at address.
The address must be 8-byte aligned.
external int get value;
external void set value(int value);