let
compare s1 s2 =
compare_aux (cons_enum s1
End
) (cons_enum s2
End
)