docs: public int receiveInteger4() throws IOException {
      if (pgInput.read(int4Buf) != 4) {
        throw new EOFException();
      }
  
      return (int4Buf[0] & 0xFF) << 24 | (int4Buf[1] & 0xFF) << 16 | (int4Buf[2] & 0xFF) << 8
          | int4Buf[3] & 0xFF;
    }