class NumericLoggingDecorator implements Numeric, PerformanceLogger {

  @Override
  public DRes<SInt> add(DRes<SInt> a, DRes<SInt> b) {
    addCount++;
    return this.delegate.add(a, b);
  }

  public  NumericLoggingDecorator(Numeric delegate);

}