157         _data[_data[_minimum].right_neighbor].left_neighbor=i;  in push()
158         _data[i].right_neighbor=_data[_minimum].right_neighbor;  in push()
159         _data[_minimum].right_neighbor=i;  in push()
163         _data[i].right_neighbor=_data[i].left_neighbor=i;  in push()
196         int right=_data[_minimum].right_neighbor;  in pop()
206           _data[left].right_neighbor=child;  in pop()
209           _data[last_child].right_neighbor=right;  in pop()
349         next=_data[active].right_neighbor;  in balance()
371         s=_data[s].right_neighbor;  in balance()
379         s=_data[s].right_neighbor;  in makeRoot()
392           _data[b].child=_data[child].right_neighbor;  in cut()
398       int right=_data[_minimum].right_neighbor;  in cut()
399       _data[_minimum].right_neighbor=a;  in cut()
401       _data[a].right_neighbor=right;  in cut()
428         _data[b].right_neighbor=b;  in fuse()
434         _data[b].right_neighbor=child;  in fuse()
435         _data[last_child].right_neighbor=b;  in fuse()
449       int rightn=_data[a].right_neighbor;  in unlace()
450       _data[leftn].right_neighbor=rightn;  in unlace()
461       int right_neighbor;  variable