sig
  type t = Cil_types.code_annotation
  val get : t -> Cil_types.annotation_status
  val set : t -> Cil_types.annotation_status -> unit
  val update : t -> Cil_types.annotation_status -> unit
  val get_all : t -> Cil_types.annotation_status list
  val strongest : t -> Cil_types.annotation_status
end