Add an example: mutexes