xdr_double
ret = xdr_double(xdr, (void *)buf);
extern bool_t xdr_double(XDR *, double *);
extern bool_t xdr_double();