1516 volatile int BOUNDARY = 0;  variable
1520     CHECK(BOUNDARY == i);  in Writer()
1524     ANNOTATE_HAPPENS_BEFORE(reinterpret_cast<void*>(BOUNDARY+1));  in Writer()
1525     BOUNDARY++;  in Writer()
1533     n = BOUNDARY;  in Reader()
1544   FAST_MODE_INIT(&BOUNDARY);  in Run()
1545   ANNOTATE_EXPECT_RACE((void*)(&BOUNDARY), "test30. Sync via 'safe' race.");  in Run()
1569 volatile int BOUNDARY = 0;  variable
1573     CHECK(BOUNDARY == i);  in Writer1()
1577     ANNOTATE_HAPPENS_BEFORE(reinterpret_cast<void*>(BOUNDARY+1));  in Writer1()
1578     BOUNDARY++;  in Writer1()
1586     n = BOUNDARY;  in Writer2()
1599   FAST_MODE_INIT(&BOUNDARY);  in Run()
1600   ANNOTATE_EXPECT_RACE((void*)(&BOUNDARY), "test31. Sync via 'safe' race.");  in Run()