sig
  type sys_control = Sys_control of string * string
  type trace = Trace_types.sys_control list
  type esid = ESID of int
  type sid = SID of int
  type esidtosidrel = Trace_types.esid * Trace_types.sid
  type map_2_fcinfos = {
    tr_sysname : string;
    esid_to_sid_map : (Trace_types.esid, Trace_types.sid) Hashtbl.t;
    esid_to_statement_infos :
      (Trace_types.sid, string * (Lexing.position * Lexing.position) option)
      Hashtbl.t;
  }
  type tr_subsystem_table = (string, Trace_types.map_2_fcinfos) Hashtbl.t
end