HISTFILE_SHELL_SECTION
else if (strcmp(line, HISTFILE_SHELL_SECTION) == 0) {
(void) fprintf(f, "%s\n", HISTFILE_SHELL_SECTION);