Generic (frama-c.Frama_c

val vpar : string * Cil_types.typ * Cil_types.attributes

val translate_type : Cil_types.typ -> Cil_types.typ

val add_vpar : Cil_types.varinfo -> unit

val translate_va_builtin : 
  Cil_types.fundec ->
  Cil_types.instr ->
  Cil_types.instr list

val translate_call : 
  builder:Builder.t ->
  Cil_types.lhost ->
  Cil_types.exp list ->
  unit