DummyArithmeticSInt implements SInt { @Override public SInt out() { return this; } DummyArithmeticSInt(FieldElement value); FieldElement getValue(); @Override String toString(); @Override SInt out();  }
@Test public void testOut() { BigIntegerFieldDefinition fd500 = new BigIntegerFieldDefinition( ModulusFinder.findSuitableModulus(8)); DummyArithmeticSInt value = new DummyArithmeticSInt(fd500.createElement(42)); Assert.assertThat(value.out(), Is.is(value)); }