gf_hibit
assert(gf_hibit(red) == 0);
succ = with_hibit ? 0 - (mask_t)1 : ~gf_hibit(x);
mask_t gf_hibit(const gf x);