svoid copyIntArrayToByteArray_littleEndian(int[] a, byte[] b, int bOfs) {
  for (int i = 0; i < a.length; i++)
    intToBytes_inArray_littleEndian(a[i], b, bOfs+i*4);
}