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