task_state_done
REQUIRE(task->state == task_state_done);
REQUIRE(task->state != task_state_done);
task->state = task_state_done;