sig
  val has_replacement : string -> bool
  val replacement_name : string -> string
  val is_memcpy : Cil_types.exp -> bool
  val is_memset : Cil_types.exp -> bool
  val is_vla_free : Cil_types.exp -> bool
  val is_vla_free_name : string -> bool
  val is_vla_alloc_name : string -> bool
  val is_printf_name : string -> bool
  val get_printf_argument_str :
    loc:Cil_types.location -> string -> Cil_types.exp list -> Cil_types.exp
  val actual_alloca : string
end