Does this deserve a name less like an abbreviation of `mux`? `mutex`?