sig
  val do_all_rte : Cil_datatype.Kf.t -> unit
  val stmt_annotations :
    Cil_datatype.Kf.t ->
    Cil_datatype.Stmt.t -> Cil_datatype.Code_annotation.t list
  val all_statuses :
    string * (Cil_datatype.Kf.t -> bool -> unit) *
    (Cil_datatype.Kf.t -> bool) list
  val exp_annotations :
    Cil_datatype.Kf.t ->
    Cil_datatype.Stmt.t ->
    Cil_datatype.Exp.t -> Cil_datatype.Code_annotation.t list
  val emitter : Emitter.t
  val get_rte_annotations :
    Cil_datatype.Stmt.t -> Cil_datatype.Code_annotation.t list
end