Is there really any point in creating this mutex lazily as opposed to just creating it in `thread_init` and destroying it in `shared static ~this`?