xdrrec_destroy (xdrs) XDR *xdrs;
xdrrec_destroy (XDR *xdrs)
xdrrec_destroy (xdrs)     XDR *xdrs;{  RECSTREAM *rstrm = (RECSTREAM *) xdrs->x_private;  mem_free (rstrm->the_buffer,	    rstrm->sendsize + rstrm->recvsize + BYTES_PER_XDR_UNIT);  mem_free ((caddr_t) rstrm, sizeof (RECSTREAM));}