sig
  val name : string list -> string
  exception Error of string * string
  val set_model : string -> unit
  val unsupported :
    ?model:string ->
    ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
  val not_yet_implemented :
    ?model:string ->
    ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
  val pp_logic_label : Format.formatter -> Cil_types.logic_label -> unit
  val pp_assigns : Format.formatter -> Cil_types.assigns -> unit
  val pp_string_list :
    ?sep:Pretty_utils.sformat ->
    empty:string -> Format.formatter -> string list -> unit
end