static void add_filtered_history(const char *string)
{
  if (!check_histignore(string))
    add_history(string);
}
static void add_filtered_history(const char *string)
{
  if (!check_histignore(string))
    add_history(string);
}