1315 static void init_shell(FILE *fin, FILE *fout)  in init_shell()  argument
1323 	rl_outstream = fout;  in init_shell()
1347 static void exit_shell(FILE *fin, FILE *fout)  in exit_shell()  argument
1361 	if (fout != stdout)  in exit_shell()
1362 		fclose(fout);  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
1392 		fout = fopen(argv[2], "w");  in main()
1394 	return run_shell_loop(fin ? : stdin, fout ? : stdout);  in main()