sig
  module type S =
    sig
      val is_computed : Kernel_function.t -> bool
      val set : Kernel_function.t -> bool -> unit
      val accessor : Db.RteGen.status_accessor
    end
  module Initialized : S
  module Mem_access : S
  module Pointer_call : S
  module Div_mod : S
  module Shift : S
  module Left_shift_negative : S
  module Right_shift_negative : S
  module Signed_overflow : S
  module Signed_downcast : S
  module Unsigned_overflow : S
  module Unsigned_downcast : S
  module Float_to_int : S
  module Finite_float : S
  module Bool_value : S
  val all_statuses : Db.RteGen.status_accessor list
  val emitter : Emitter.t
  val get_registered_annotations :
    Cil_types.stmt -> Cil_types.code_annotation list
end