SEPARATOR          57 src/file_history.c static const char SEPARATOR[] = " ";
SEPARATOR          67 src/file_history.c     const char *s = strrchr (buf, *SEPARATOR);
SEPARATOR          98 src/file_history.c         g_string_append_c (s, *SEPARATOR);