It's researchers trying to contrive an example for why their research effort deserves a budget every year.

Of course their example will be detached from reality. But it doesn't matter.

The nested `with`s are weird, but otherwise what would you do differently? Seems like a standard pattern.

I still don't really see behaviors helping with this. Like yeah you avoid deadlocking, but now you're abstracting away mutexes :S