ReaderFix, DataRaceFix