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