assign_device_name
assign_device_name (drive, 0);
assign_device_name (drive, 0);
assign_device_name (drive, 0);
assign_device_name (current_drive, device);
extern void assign_device_name (int drive, const char *device);