Use intbitset in task_run_core