thread_termination doesn't free the array "t", causing a 4 byte leak on every thread termination in the calling application. This causes a problem for long-running servers with lots of threads.