// doesn't grant the same lock to both clients.
// it assumes that lock names are distinct in the first byte.
static int ct[256];
-static mutex count_mutex;
+static std::mutex count_mutex;
static void check_grant(lock_protocol::lockid_t lid) {
lock ml(count_mutex);