sig
val
inject : unit
->
unit
end