sig
  val verbose : bool Pervasives.ref
  val withoutLocs : bool Pervasives.ref
  val withoutWidening1 : bool Pervasives.ref
  val withoutWidening2 : bool Pervasives.ref
end