Code Editor : taskpool.h