VSTAX
ifh_encode_bitfield(ifh_hdr, 1, VSTAX + 79, 1);
ifh_encode_bitfield(ifh_hdr, 1, VSTAX + 55, 1);
ifh_encode_bitfield(ifh_hdr, rew_op, VSTAX + 32, 10);