Changes in minithreads.zip since first version:

2-20-01: fixed concurrency bug in clock.c
