linenoiseHistoryLoad   57 lib/readline/linenoise.h int linenoiseHistoryLoad(char *filename);
linenoiseHistoryLoad   14 lib/readline/readline.c   linenoiseHistoryLoad("history.txt");