let actualize_formals kf state actuals =
  let formals = Kernel_function.get_formals kf in
  let treat_one_formal  acc (_,_actual_val,actual_o) formal =
    let loc_without_size =
      Location_Bits.inject
        (Base.create_varinfo formal)
        (Ival.zero)
    in
    Relations_type.Model.paste_offsetmap
      actual_o
      loc_without_size
      Int.zero
      (Int_Base.project (sizeof_vid formal))
      acc
  in
  fold_left2_best_effort
    treat_one_formal
    state
    actuals
    formals