Click grafo_prec_mutex.c link to view the file.