sig
  type 'a alarm_component =
      Emitter.t ->
      Cil_types.kernel_function ->
      Cil_types.stmt ->
      rank:int -> Alarms.alarm -> Cil_types.code_annotation -> '-> 'a
  type env
  type annoth = AnnotAll | AnnotInout
  val empty_env : Collect.annoth -> Collect.env
  val get_relevant : Collect.env Collect.alarm_component
  val should_annotate_stmt : Collect.env -> Cil_types.stmt -> bool
  val get_relevant_vars_stmt :
    Collect.env ->
    Cil_types.kernel_function -> Cil_types.stmt -> Cil_types.lval list
end