public final int getOffset() throws UninterruptiblePragma {
public final Offset getOffset() throws UninterruptiblePragma {
  public final int getOffset() throws UninterruptiblePragma {    if (VM.VerifyAssertions) VM._assert(declaringClass.isResolved());    return offset;  }