1315 static void init_shell(FILE *fin, FILE *fout)  in init_shell()  argument
1322 	rl_instream = fin;  in init_shell()
1347 static void exit_shell(FILE *fin, FILE *fout)  in exit_shell()  argument
1359 	if (fin != stdin)  in exit_shell()
1360 		fclose(fin);  in exit_shell()
1365 static int run_shell_loop(FILE *fin, FILE *fout)  in run_shell_loop()  argument
1369 	init_shell(fin, fout);  in run_shell_loop()
1381 	exit_shell(fin, fout);  in run_shell_loop()
1387 	FILE *fin = NULL, *fout = NULL;  in main()  local
1390 		fin = fopen(argv[1], "r");  in main()
1394 	return run_shell_loop(fin ? : stdin, fout ? : stdout);  in main()