static int[] intArrayFromBytes(byte[] a) {
  int[] b = new int[a.length/4];
  for (int i = 0; i < b.length; i++)
    b[i] = intFromBytes(a, i*4);
  ret b;
}