public final void setThinLockOffset(int offset) { if (VM.VerifyAssertions) VM._assert (thinLockOffset == -1);
public final void setThinLockOffset(Offset offset) { if (VM.VerifyAssertions) VM._assert (thinLockOffset.isMax());
  public final void setThinLockOffset(int offset) {    if (VM.VerifyAssertions) VM._assert (thinLockOffset == -1);    thinLockOffset = offset;  }