counter k; abstract node n[k]; pointer x->n; succ n=NULL;