XDR_PUTINT32
if ((! XDR_PUTINT32(xdrs, (int32_t *)&proc)) ||
(! XDR_PUTINT32(xdrs, (int32_t *)&proc)) ||
(! XDR_PUTINT32(xdrs, (int32_t *)&proc)) ||
return (XDR_PUTINT32(xdrs, (int32_t *)(void *)fp));
return (XDR_PUTINT32(xdrs, (int32_t *)(void *)&is));
rv = XDR_PUTINT32(xdrs, i32p);
rv = XDR_PUTINT32(xdrs, i32p+1);
rv = XDR_PUTINT32(xdrs, i32p+1);
rv = XDR_PUTINT32(xdrs, i32p);
return (XDR_PUTINT32(xdrs, lp++) && XDR_PUTINT32(xdrs, lp));