Edit: taskpool.h