MAX_FILEID
MAX_FILEID));
(void) showxdr_string(MAX_FILEID,
if (!xdr_string(xdrs, objp, MAX_FILEID)) {
return (xdr_string(xdrs, objp, MAX_FILEID));