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