Update widening.c