Thread pool

Also written: ThreadPoolExecutor

A set of threads that run functions in the background. The guards use one to run a tool with a timeout, though Python can't stop a thread that hangs.