class DummyArithmeticSInt implements SInt {

  @Override
  public String toString() {
    return "DummyArithmeticSInt [value=" + value + "]";
  }

  public  DummyArithmeticSInt(FieldElement value);

}