task_state_index
return task_state_array[task_state_index(tsk)];
return task_index_to_char(task_state_index(tsk));
entry->prev_state = task_state_index(prev);
entry->next_state = task_state_index(next);
entry->prev_state = task_state_index(curr);
entry->next_state = task_state_index(wakee);