void getStoreThreadAndClock(const void *address, thread_id_t * thread, modelclock_t * clock) {
uint64_t * shadow = lookupAddressEntry(address);
uint64_t shadowval = *shadow;
void getStoreThreadAndClock(const void *address, thread_id_t * thread, modelclock_t * clock) {
uint64_t * shadow = lookupAddressEntry(address);
uint64_t shadowval = *shadow;