docs: static void encodeInteger(ByteBuffer source, int value, int n) {
          int twoNminus1 = PREFIX_TABLE[n];
          int pos = source.position() - 1;
          if (value < twoNminus1) {
              source.put(pos, (byte) (source.get(pos) | value));
          } else {
              source.put(pos, (byte) (source.get(pos) | twoNminus1));
              value = value - twoNminus1;
              while (value >= 128) {
                  source.put((byte) (value % 128 + 128));
                  value = value / 128;
              }
              source.put((byte) value);
          }
      }