Isn't that something Rust is particularly good at, controlling the mutation of shared memory?