Previously

pthread_mutex_init(&mut, NULL);

resulted in a must dereference NULL pointer error because the pointer was always dereferenced.

However, NULL is valid for default attributes, so this avoids the spurious error.