signature S =
   sig
      exception it
   end