31 int execute_line (char *line);
96    char *line, *s;  in main()  local
109       line = readline ("FileMan: ");  in main()
111       if (!line)  in main()
117       s = stripwhite(line);  in main()
135       free(line);  in main()
144 execute_line (char *line)  in execute_line()  argument
152    while (line[i] && isspace (line[i]))  in execute_line()
154    word = line + i;  in execute_line()
156    while (line[i] && !isspace (line[i]))  in execute_line()
159    if (line[i])  in execute_line()
160       line[i++] = '\0';  in execute_line()
171    while (isspace (line[i]))  in execute_line()
174    word = line + i;  in execute_line()
334       printf("%s\n", he->line);  in com_history()