protected final int getEdgeCounterOffset() { return method.getId() << LOG_BYTES_IN_ADDRESS;
protected final Offset getEdgeCounterOffset() { return Offset.fromIntZeroExtend(method.getId() << LOG_BYTES_IN_ADDRESS);
  protected final int getEdgeCounterOffset() {    return method.getId() << LOG_BYTES_IN_ADDRESS;  }