let add_retres_to_state f_vi offsetmap state =
  let retres_vi = get f_vi 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
  Some retres_vi,
  Relations_type.Model.paste_offsetmap offsetmap loc Int.zero size state