+ thread_id_t tid=thread_current()->get_id();
+ ClockVector * cv=model->get_cv(tid);
+ raceCheckWrite(tid, addr, cv);
+ raceCheckWrite(tid, (void *)(((uintptr_t)addr)+1), cv);
+ raceCheckWrite(tid, (void *)(((uintptr_t)addr)+2), cv);
+ raceCheckWrite(tid, (void *)(((uintptr_t)addr)+3), cv);
+ raceCheckWrite(tid, (void *)(((uintptr_t)addr)+4), cv);
+ raceCheckWrite(tid, (void *)(((uintptr_t)addr)+5), cv);
+ raceCheckWrite(tid, (void *)(((uintptr_t)addr)+6), cv);
+ raceCheckWrite(tid, (void *)(((uintptr_t)addr)+7), cv);