Add exec7.c