Implement static allocation of mock mutexes
Fix documentation