NFSX_WCCDATA
nfsm_writereply(NFSX_WCCDATA(v3), v3);
nfsm_reply(NFSX_WCCDATA(v3));
nfsm_reply(NFSX_SRVFH(&nsfh, v3) + NFSX_FATTR(v3) + NFSX_WCCDATA(v3));
nfsm_reply(NFSX_WCCDATA(1));
NFSX_WCCDATA(1));
nfsm_reply(NFSX_WCCDATA(v3));
nfsm_reply(2 * NFSX_WCCDATA(v3));
nfsm_reply(2 * NFSX_WCCDATA(v3));
nfsm_reply(NFSX_POSTOPATTR(v3) + NFSX_WCCDATA(v3));
nfsm_reply(NFSX_POSTOPATTR(v3) + NFSX_WCCDATA(v3));
NFSX_WCCDATA(v3));
nfsm_reply(NFSX_WCCDATA(v3));
NFSX_WCCDATA(v3));
nfsm_reply(NFSX_WCCDATA(v3));
nfsm_reply(NFSX_WCCDATA(v3));
nfsm_reply(NFSX_WCCDATA(v3));
nfsm_reply(NFSX_WCCDATA(v3));