The thread pool is written by C.