sig
  val new_globals : Cil_types.global list Stdlib.ref
  type call_builder = Cil_types.exp -> Cil_types.exp list -> Cil_types.instr
  exception Translate_call_exn of Cil_types.varinfo
  val fallback_fun_call :
    callee:Cil_types.varinfo ->
    Cil_types.location ->
    Standard.call_builder ->
    Va_types.variadic_function -> Cil_types.exp list -> Cil_types.instr list
  val aggregator_call :
    fundec:Cil_types.fundec ->
    ghost:bool ->
    Va_types.aggregator ->
    Cil_types.block ->
    Cil_types.location ->
    Standard.call_builder ->
    Va_types.variadic_function -> Cil_types.exp list -> Cil_types.instr list
  val overloaded_call :
    fundec:Cil_types.fundec ->
    Va_types.overload ->
    Cil_types.block ->
    Cil_types.location ->
    Standard.call_builder ->
    Va_types.variadic_function -> Cil_types.exp list -> Cil_types.instr list
  val format_fun_call :
    fundec:Cil_types.fundec ->
    Environment.t ->
    Va_types.format_fun ->
    Cil_types.block ->
    Cil_types.location ->
    Standard.call_builder ->
    Va_types.variadic_function -> Cil_types.exp list -> Cil_types.instr list
end