don't export Mutex