uint64_t * shadow = raceCheckWrite_firstIt(thread, location, &old_shadowval, &new_shadowval);
if (CHECKBOUNDARY(location, 1)) {
if (shadow[1]==old_shadowval) {
uint64_t * shadow = raceCheckWrite_firstIt(thread, location, &old_shadowval, &new_shadowval);
if (CHECKBOUNDARY(location, 1)) {
if (shadow[1]==old_shadowval) {