#include <stdio.h>
#include <rpc/rpc.h>
#include "xdrs.h"


extern XDR_element xdrfile[MAX_NUM_XDR_FILES];

#ifdef cray
     XDR_FSTRING (int *ixdrid, u_int *len, char *s)
#else
void xdr_fstring_(int *ixdrid, u_int *len, char *s)
#endif
{
    XDR 	*xdrs;

    xdrs = xdrfile[*ixdrid].xdrs;

    if (!xdr_bytes(xdrs, &s, len, *len)) {
	fprintf (stderr, "XDR string io error, file %s\n",
		xdrfile[*ixdrid].filename);
	exit (-1);
    }
}
