let externalize return fundec state =
    let deps_return = (match return.skind with
                         | Return (Some ({enode = Lval v}),_) ->
                             let deps, target =
                               !Values_To_Use.lval_to_loc_with_deps
                                 ~with_alarms:CilE.warn_none_mode
                                 ~deps:Zone.bottom
                                 (Kstmt return)
                                 v
                             in
                             Lmap_bitwise.From_Model.LOffset.join
                               (Lmap_bitwise.From_Model.find_base
                                  state.deps_table deps)
                               (Lmap_bitwise.From_Model.find_base
                                  state.deps_table
                                  (valid_enumerate_bits target))
(*
                               (!Db.From.access deps state.deps_table)
                               (!Db.From.access (valid_enumerate_bits target) state.deps_table)
*)

                         | Return (None,_) ->
                             Lmap_bitwise.From_Model.LOffset.empty
                         | _ -> assert false)
    in
    let deps_table = Lmap_bitwise.From_Model.filter_base
      (fun v -> not (Base.is_formal_or_local v fundec))
      state.deps_table
    in
    { deps_return = deps_return;
      Function_Froms.deps_table = deps_table }