}
@Test
public void testPactChar() {
final CharValue c1 = new CharValue((char) 0);
final CharValue c2 = new CharValue((char) 1);
final CharValue c3 = new CharValue((char) 0xff);
final CharValue c4 = new CharValue(Character.MAX_VALUE);
final CharValue c5 = new CharValue((char) (Character.MAX_VALUE + (char) 1));
final CharValue c6 = new CharValue(Character.MAX_HIGH_SURROGATE);
final CharValue c7 = new CharValue(Character.MAX_LOW_SURROGATE);
final CharValue c8 = new CharValue(Character.MAX_SURROGATE);
CharValue[] allChars = new CharValue[] {
c1, c2, c3, c4, c5, c6, c7, c8 };
for (int i = 0; i < 5; i++) {