NVH_SIZE
ptr += NVH_SIZE(nvh);
size -= NVH_SIZE(nvh);
PJDLOG_ASSERT(NVH_SIZE(nvh) <= size);
ptr += NVH_SIZE(nvh);
size -= NVH_SIZE(nvh);
PJDLOG_ASSERT(size >= NVH_SIZE(nvh));
ptr += NVH_SIZE(nvh);
size -= NVH_SIZE(nvh);
PJDLOG_ASSERT(size >= NVH_SIZE(nvh));
ptr += NVH_SIZE(nvh);
size -= NVH_SIZE(nvh);