sig
  type kind =
      Frama_C
    | Left
    | Right
    | Relies_on_valid_hyp
    | Failed
    | Maybe
    | Attach
    | Check
    | Custom of string
  val register : name:string -> file:string -> unit
  val get : Gtk_helper.Icon.kind -> GdkPixbuf.pixbuf
end