svoid intToBytes_inArray_bigEndian(int i, byte[] array, int idx) {
  intToBytes_inArray(i, array, idx);
}