CHECK_MUTEX       350 src/thread.c     CHECK_MUTEX (mutex);
CHECK_MUTEX       378 src/thread.c     CHECK_MUTEX (mutex);
CHECK_MUTEX       392 src/thread.c     CHECK_MUTEX (mutex);
CHECK_MUTEX       418 src/thread.c     CHECK_MUTEX (mutex);