@Test
public void testCorrectness() throws Exception {

  checkSame();
  theirs.update(104);
  ours.update(104);
  checkSame();
  checkOnBytes(new byte[] {40, 60, 97, -70}, false);
  
  checkOnBytes("hello world!".getBytes("UTF-8"), false);
  for (int i = 0; i < 10000; i++) {
    byte randomBytes[] = new byte[new Random().nextInt(2048)];
    new Random().nextBytes(randomBytes);
    checkOnBytes(randomBytes, false);
  }
  
}