Correct the mutex size, and add mutex size test to DEBUG