val verbose : bool ref
val quiet : bool ref