Exercise: Web Crawler (p. 70)
* crawler2 - embedded type mutex in trace, defer unlock
* crawler3 - only channel communication, no shared memory