1642d1641
< list<ThreadID>::iterator list_end = activeThreads.end();