/src/systemc/tests/systemc/communication/sc_mutex/