method vlval lv =
    match current_locs with
      None -> SkipChildren
    | Some current_locs ->
        begin match lv with
          Mem _e, _ -> DoChildren
        | Var v, NoOffset ->
            let loc = Locations.loc_of_varinfo v in
            ignore (Loc_hashtbl.find current_locs loc.loc);
            SkipChildren
        | Var _v, (Index _ | Field _) -> DoChildren
        end