docs: public static void int4(byte[] target, int idx, int value) {
      target[idx + 0] = (byte) (value >>> 24);
      target[idx + 1] = (byte) (value >>> 16);
      target[idx + 2] = (byte) (value >>> 8);
      target[idx + 3] = (byte) value;
    }