Update exe9.c