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