int shell_process(char *cmd_line) { return shell_process_cmds(&my_shell_cmds, cmd_line); }
int shell_process(char *cmd_line) { return shell_process_cmds(&commands, cmd_line); }