private function &mark_node($task_node)
{
$task_key = $this->task_key($task_node);
$this->marked_nodes[$task_key] = array('task_node' => $task_node, 'index' => $this->current_index, 'lowlink' => $this->current_index, 'on_stack' => true);
return $this->marked_nodes[$task_key];
}