static int arrayHashCode(byte[] a) {
  ret Arrays.hashCode(a);
}