LINENOISE_MAX_LINE 1672 src/simh/linehistory.c   char buf[LINENOISE_MAX_LINE];
LINENOISE_MAX_LINE 1691 src/simh/linehistory.c     if (fgets(buf, LINENOISE_MAX_LINE, stdin) == NULL)
LINENOISE_MAX_LINE 1706 src/simh/linehistory.c     count = linenoiseRaw(buf, LINENOISE_MAX_LINE, prompt);