sig
  module To_zone :
    sig
      exception NYI of string
      val not_yet_implemented : string Pervasives.ref
    end
  exception Error of Cil_types.location * string
end