linenoiseHistorySave   56 lib/readline/linenoise.h int linenoiseHistorySave(char *filename);
linenoiseHistorySave   13 lib/readline/readline.c   linenoiseHistorySave("history.txt");