sig
  val register : (module Instantiator_builder.Generator_sig) -> unit
  val transform : Cil_types.file -> unit
end