scalar(@dev_list) == $#dev_list + 1; scalar(@xref) == $#xref + 1;