sig
  val is_frama_c_builtin : string -> bool
  val is_va_builtin : string -> bool
  val is_variadic_function : Cil_types.varinfo -> bool
  val classify :
    Environment.t -> Cil_types.varinfo -> Va_types.variadic_function option
end