implementing load/store value tracking. working copy