| inc_counter(): thread 0, count = 1, unlocking mutex |
| inc_counter(): thread 0, count = 2, unlocking mutex |
| inc_counter(): thread 0, count = 3, unlocking mutex |
| inc_counter(): thread 0, count = 4, unlocking mutex |
| inc_counter(): thread 0, count = 5, unlocking mutex |
| inc_counter(): thread 0, count = 6, unlocking mutex |
| inc_counter(): thread 0, count = 7, unlocking mutex |
| inc_counter(): thread 0, count = 8, unlocking mutex |
| inc_counter(): thread 0, count = 9, unlocking mutex |
| inc_counter(): thread 0, count = 10, unlocking mutex |
| inc_counter(): thread 1, count = 11, unlocking mutex |
| inc_counter(): thread 1, count = 12, unlocking mutex |
| inc_count(): Thread 1, count 12 |
| inc_counter(): thread 1, count = 13, unlocking mutex |
| inc_counter(): thread 1, count = 14, unlocking mutex |
| inc_counter(): thread 1, count = 15, unlocking mutex |
| inc_counter(): thread 1, count = 16, unlocking mutex |
| inc_counter(): thread 1, count = 17, unlocking mutex |
| inc_counter(): thread 1, count = 18, unlocking mutex |
| inc_counter(): thread 1, count = 19, unlocking mutex |
| inc_counter(): thread 1, count = 20, unlocking mutex |
| watch_count(): thread 2 |