static byte[] intArrayToBytes_littleEndian_flexLength(int[] a, int n) {
  byte[] b = new byte[n];
  int full = n/4;
  for (int i = 0; i < full; i++)
    intToBytes_inArray_littleEndian(a[i], b, i*4);
  if ((n & 3) != 0)
    intToBytes_inArray_littleEndian_partial(a[full], b, full*4);
  ret b;
}