let actualize_formals kf state actuals =
  let formals = Kernel_function.get_formals kf in
  fold_left2_best_effort
    (fun acc (_,actual) formal ->
       let loc_without_size =
         Location_Bytes.inject
           (Base.create_varinfo formal)
           (Ival.zero)
       in
       let loc = make_loc
         (loc_bytes_to_loc_bits loc_without_size)
         (sizeof_vid formal)
       in
       Relations_type.Model.add_binding 
         ~with_alarms:CilE.warn_none_mode ~exact:true
         acc loc actual)
    state
    actuals
    formals