write_history     432 ext/readline/readline.c 	if (write_history(arg)) {
write_history     674 ext/readline/readline_cli.c 			write_history(history_file);