static byte[] intArrayToBytes(int[] a) {
  byte[] b = new byte[a.length*4];
  for (int i = 0; i < a.length; i++)
    System.arraycopy(intToBytes(a[i]), 0, b, i*4, 4);
  ret b;
}