Updated mutex.c