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