sig
  type control_type =
      FC_ESID of int
    | FLATAC_SINTER_SID of int
    | FLATAC_SINIT
  exception UnknownESidDescriptor of string
  exception Unreferenced_esid_in of Trace_types.esid *
              (Trace_types.esid, Trace_types.sid) Hashtbl.t
  exception NoSubsystem of string * Trace_types.tr_subsystem_table
  val type_statename_1 : string -> Trace_analysis.control_type
  val type_statename_5 : string -> Trace_analysis.control_type
  val type_statename_6 : string -> Trace_analysis.control_type
  val type_statename : string -> Trace_analysis.control_type
  val get_esid_of_statename : string -> Trace_types.esid option
  val get_sid_statement_of_esid :
    Trace_types.esid ->
    Trace_types.map_2_fcinfos ->
    Trace_types.sid * (string * (Lexing.position * Lexing.position) option)
  val sid_anot_info_of_opt_esid :
    Trace_types.esid option ->
    Trace_types.map_2_fcinfos ->
    Trace_types.sid * (string * (Lexing.position * Lexing.position) option)
  val sid_infos_of_syscontrol :
    ?annot_less_callee:(string, 'a) Hashtbl.t option ->
    Trace_types.tr_subsystem_table ->
    Trace_types.sys_control ->
    Trace_types.sid * (string * (Lexing.position * Lexing.position) option)
end