exec_init         183 exec/exec.h    extern void exec_init (const char *);
exec_init          62 exec/exec1.c         exec_init (argv[1]);
exec_init          64 exec/test.c      exec_init (argv[1]);