sig val force_run : unit -> unit end