1208 volatile int BOUNDARY = 0;  variable
1212     CHECK(BOUNDARY == i);  in Writer()
1216     ANNOTATE_HAPPENS_BEFORE(reinterpret_cast<void*>(BOUNDARY+1));  in Writer()
1217     BOUNDARY++;  in Writer()
1225     n = BOUNDARY;  in Reader()
1236   ANNOTATE_EXPECT_RACE((void*)(&BOUNDARY), "test30. Sync via 'safe' race.");  in Run()
1260 volatile int BOUNDARY = 0;  variable
1264     CHECK(BOUNDARY == i);  in Writer1()
1268     ANNOTATE_HAPPENS_BEFORE(reinterpret_cast<void*>(BOUNDARY+1));  in Writer1()
1269     BOUNDARY++;  in Writer1()
1277     n = BOUNDARY;  in Writer2()
1290   ANNOTATE_EXPECT_RACE((void*)(&BOUNDARY), "test31. Sync via 'safe' race.");  in Run()