final exec.c