check_for_duplicate_disknames
static void check_for_duplicate_disknames(char *arglist[]);
check_for_duplicate_disknames(arglist);
static void check_for_duplicate_disknames();