fill_px
fill_px(pt, vm->scratch[lvl]->encode);
fill_px(obj, vm->scratch[i - 1]->encode);
fill_px(pde, vm->scratch[1]->encode);
fill_px((px), v__ << 32 | v__); \