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