implementing load/store value tracking