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