docs: private static void intToBigEndian(final int value, final byte[] array, final int index) {
          array[index    ] = (byte) (value >> 24);
          array[index + 1] = (byte) (value >> 16);
          array[index + 2] = (byte) (value >>  8);
          array[index + 3] = (byte) (value      );
      }