Update no_overflow.c