Update exec9.c