50     EST_Litem *n_ptr, *a_ptr;  in save()  local
69     for (n_ptr = lattice.nodes.head(); n_ptr != 0; n_ptr = n_ptr->next()){  in save()
71 	for (a_ptr = lattice.nodes(n_ptr)->arcs_out.head();  in save()
99 	for (n_ptr = lattice.nodes.head(); n_ptr != 0; n_ptr = n_ptr->next()){  in save()
101 	    from=lattice.node_index(lattice.nodes(n_ptr));  in save()
107 		for (a_ptr = lattice.nodes(n_ptr)->arcs_out.head();  in save()
110 		    to = lattice.node_index(lattice.nodes(n_ptr)->arcs_out(a_ptr)->to);  in save()
112 		    symbol = lattice.alphabet_index_to_symbol(lattice.nodes(n_ptr)->arcs_out(a_ptr)->label);  in save()
114 		    if(lattice.nodes(n_ptr)->arcs_out(a_ptr)->label == lattice.e_move_symbol_index){  in save()
449     EST_Litem *n_ptr;  in load()  local
456 	for (n_ptr =lattice. nodes.head(),count=0;   in load()
458 	     n_ptr = n_ptr->next(),count++){  in load()
460 	    if(n_ptr == NULL){  in load()
465 	Lattice::Node *from_node = lattice.nodes(n_ptr);  in load()
475 	for (n_ptr = lattice.nodes.head(),count=0;   in load()
477 	     n_ptr = n_ptr->next(),count++){  in load()
479 	    if(n_ptr == NULL){  in load()
484 	Lattice::Node *to_node = lattice.nodes(n_ptr);  in load()
516     for (n_ptr = lattice.nodes.head(),count=0;   in load()
517 	 n_ptr!= NULL;  in load()
518 	 n_ptr = n_ptr->next()){  in load()
520 	if(lattice.nodes(n_ptr)->arcs_out.head() == NULL){  in load()
521 	    lattice.final_nodes.append(lattice.nodes(n_ptr));  in load()