[mannykannot]

"Nevertheless, this type of program is straightforward to reason about."

This type of program is an uninteresting corner case, that tells us nothing about the more general problem of reliably writing concurrent software.