svoid intToBytes_inArray(int i, byte[] array, int idx) {
  array[idx] = (byte) (i >>> 24);
  array[idx+1] = (byte) (i >>> 16);
  array[idx+2] = (byte) (i >>> 8);
  array[idx+3 ] = (byte) i;
}