gf_strong_reduce
gf_strong_reduce(c);
gf_strong_reduce(red);
gf_strong_reduce(y);
void gf_strong_reduce(gf inout);