if (VM.VerifyAssertions) VM._assert(offset != -1);
if (VM.VerifyAssertions) VM._assert(!offset.isMax());
  public int increment() {    if (VM.VerifyAssertions) VM._assert(offset != -1);    return VM_Synchronization.fetchAndAdd(this, offset, 1);  }