ASSERT (check_fstrcmp ("Langstrumpf", "Langstrumpf", 1.0));
ASSERT (check_fstrcmp ("Levenshtein", "Levenstein", 20./21.));
ASSERT (check_fstrcmp ("Levenstein", "Levenshtein", 20./21.));
ASSERT (check_fstrcmp ("Langstrumpf", "Langstrumpf", 1.0));
ASSERT (check_fstrcmp ("Levenshtein", "Levenstein", 20./21.));
ASSERT (check_fstrcmp ("Levenstein", "Levenshtein", 20./21.));