How to miscompile programs with "benign" data races [pdf]