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