IDX_TO_PNUM
(IDX_TO_PNUM(mnode, r, 0))) == 0);
ASSERT(IDX_TO_PNUM(mnode, r,
pfnum = IDX_TO_PNUM(mnode, r, idx0);
IDX_TO_PNUM(mnode, r, idx);
(IDX_TO_PNUM(mnode, r, 0))) == 0);
ASSERT(IDX_TO_PNUM(mnode, r,