Add exec4.c