docs: public String receiveString(int len) throws IOException {
      if (!pgInput.ensureBytes(len)) {
        throw new EOFException();
      }
  
      String res = encoding.decode(pgInput.getBuffer(), pgInput.getIndex(), len);
      pgInput.skip(len);
      return res;
    }