Пример правильно синхронизированной программы с гонками данных в модели памяти Java

ВJLS, §17.4.5. Происходит -до Приказа, там написано, что

A program is correctly synchronized if and only if all sequentially consistent executions are free of data races.

Согласно обсуждению вДопускает ли корректно синхронизированная программа гонку данных? (Часть I), получаем следующий вывод:

A program can be correctly synchronized and have data races.

Сочетание двух выводов означает, что такой пример должен существовать:

All sequentially consistent executions of a program are data race free, but the normal executions (executions other than sequentially consistent executions) of such a program contain data race.

После долгих размышлений я все еще не могу найти такой образец кода. А как насчет тебя?