execute_shell
execute_shell, true},
execute_shell, true},
execute_shell, true},
execute_shell, true},
execute_shell, true},
execute_shell, true},
execute_shell, true},
execute_shell, true},
(void) execute_shell(shell_argv, sizeof (shell_argv));
int execute_shell(char *, size_t);
(void) execute_shell(&s[1], sizeof (s) - 1);