sig val run : ((unit -> unit) -> unit) Pervasives.ref end