let equal s1 s2 =
      compare s1 s2 = 0