gocheck: there is no reason to embed the mutex