Not necessarily *required*, but I don't really need to make `lock` mutable: https://github.com/mozilla/rust/issues/13066