+ messages to stderr, else debugging messages are dropped.
+
+ This is set through the --verbose command line option. *)
+
+val write_flag : unit -> bool
+val set_write_flag : unit -> unit
+ (** Writes are prevented unless the user sets this to [true]
+ through the command line option --write. *)