let lval_or_absolute_to_offsetmap state lva =
  match lva with
    | LVal lv -> !Db.Value.lval_to_offsetmap_state state lv
    | AbsoluteMem ->
        try Some (Cvalue.Model.find_base Base.null state)
        with Not_found -> None