unique_driver_name
if ((unique_driver_name(driver_name, name_to_major,
extern int unique_driver_name(char *, char *, int *);
if ((unique_driver_name(one_entry, name_to_major,