if (t.getThinLockOffset() == -1) {
if (t.getThinLockOffset().isMax()) {
  public static void allocateThinLock(VM_Type t) {    if (t.getThinLockOffset() == -1) {      if (VM.VerifyAssertions) VM._assert(t.isClassType());      VM_Class klass = t.asClass();      int fieldOffset = objectEndOffset(klass) - 4; // layout field backwards!      klass.setThinLockOffset(fieldOffset);      klass.increaseInstanceSize(4);    }  }