docs: public String receiveString() throws IOException {
      int len = pgInput.scanCStringLength();
      String res = encoding.decode(pgInput.getBuffer(), pgInput.getIndex(), len - 1);
      pgInput.skip(len);
      return res;
    }