sig val inject : unit -> unit end