public final int getThinLockOffset() throws UninterruptiblePragma {
public final Offset getThinLockOffset() throws UninterruptiblePragma {
  public final int getThinLockOffset() throws UninterruptiblePragma {     return thinLockOffset;   }