Update exec5.c