[tayssir]

And a possible future feature is something like statically-checked locking, where order-of-acquisition issues are dealt with.