docs: public static int int4(byte[] bytes, int idx) {
      return
          ((bytes[idx] & 255) << 24)
              + ((bytes[idx + 1] & 255) << 16)
              + ((bytes[idx + 2] & 255) << 8)
              + ((bytes[idx + 3] & 255));
    }