sig
  type alarm_behavior = { a_log : bool; a_call : unit -> unit; }
  val a_ignore : CilE.alarm_behavior
  type warn_mode = {
    imprecision_tracing : CilE.alarm_behavior;
    defined_logic : CilE.alarm_behavior;
    unspecified : CilE.alarm_behavior;
    others : CilE.alarm_behavior;
  }
  val warn_all_mode : CilE.warn_mode
  val warn_none_mode : CilE.warn_mode
end