public int findLineNumberForInstruction(int instructionOffset) throws UninterruptiblePragma {
public int findLineNumberForInstruction(Offset instructionOffset) throws UninterruptiblePragma {
  public int findLineNumberForInstruction(int instructionOffset) throws UninterruptiblePragma {    return 0;  }