let add_retres_to_state ~with_alarms kf offsetmap state =
  let retres_vi = get kf in
  let retres_base = Base.create_varinfo retres_vi in
  let loc = Location_Bits.inject retres_base Ival.zero in
  let size =
    try  Int.of_int (bitsSizeOf retres_vi.vtype)
    with SizeOfError _ ->
      Value_parameters.abort "library function return type size unknown. Please report"
  in
  let state = Cvalue.Model.paste_offsetmap
    with_alarms offsetmap loc Int.zero size true state
  in
  retres_vi, state