HV_NPFNBODY
ncmds = MAX(1, left / HV_NPFNBODY + left % HV_NPFNBODY);
last = MIN(left, HV_NPFNBODY);
cmdlen += HV_NPFNBODY * sizeof(uint64_t);