Edit: util_mutex.h