functor (R : sig val r : int Pervasives.ref end-> VERBOSITY