sig
  type kind =
      Frama_C
    | Unmark
    | Custom of string
    | Feedback of Property_status.Feedback.t
  val register : name:string -> file:string -> unit
  val get : Gtk_helper.Icon.kind -> GdkPixbuf.pixbuf
  val default : unit -> GdkPixbuf.pixbuf
end