Added values to mutex/semaphore in psuedocode