final wtc_threads.c

Correctness assured; output standardized.