Figuring out the possible global combinations of multiple different interacting state machines can still be tricky. You can still easily get into racy scenarios.

The problems you see with memory races (e.g. publishing a pointer to a structure which does not have all its construction memory stores retired) are at a different level of strangeness, however.