write_history     434 ext/readline/readline.c 	if (write_history(arg)) {
write_history     665 ext/readline/readline_cli.c 			write_history(history_file);