nfsm_writereply
nfsm_writereply(2 * NFSX_UNSIGNED, v3);
nfsm_writereply(NFSX_WCCDATA(v3), v3);
nfsm_writereply(NFSX_PREOPATTR(v3) +