The pointer to the avail node is not anymore stored in the node_stack class.