1318 static void init_shell(FILE *fin, FILE *fout)  in init_shell()  argument
1326 	rl_outstream = fout;  in init_shell()
1350 static void exit_shell(FILE *fin, FILE *fout)  in exit_shell()  argument
1364 	if (fout != stdout)  in exit_shell()
1365 		fclose(fout);  in exit_shell()
1368 static int run_shell_loop(FILE *fin, FILE *fout)  in run_shell_loop()  argument
1372 	init_shell(fin, fout);  in run_shell_loop()
1384 	exit_shell(fin, fout);  in run_shell_loop()
1390 	FILE *fin = NULL, *fout = NULL;  in main()  local
1395 		fout = fopen(argv[2], "w");  in main()
1397 	return run_shell_loop(fin ? : stdin, fout ? : stdout);  in main()