sig
  module Print_api : sig val run : string -> unit end
  module RteGen :
    sig
      val do_all_rte : Cil_datatype.Kf.t -> unit
      val exp_annotations :
        Cil_datatype.Kf.t ->
        Cil_datatype.Stmt.t ->
        Cil_datatype.Exp.t -> Cil_datatype.Code_annotation.t list
      val stmt_annotations :
        Cil_datatype.Kf.t ->
        Cil_datatype.Stmt.t -> Cil_datatype.Code_annotation.t list
      val do_precond : Cil_datatype.Kf.t -> unit
      val emitter : Emitter.t
      val get_rte_annotations :
        Cil_datatype.Stmt.t -> Cil_datatype.Code_annotation.t list
    end
end