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

extern XDR_element xdrfile[MAX_NUM_XDR_FILES];

#ifdef cray
     XDR_FDOUBLE (int *ixdrid, double *d)
#else
void xdr_fdouble_(int *ixdrid, double *d)
#endif
{
    XDR 	*xdrs;

    xdrs = xdrfile[*ixdrid].xdrs;

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