media_read_name
int media_read_name(disk_t *dp, char *mname, int size);
if (media_read_name(dp, mname, sizeof (mname))) {
if (!media_read_name(dp->p.disk, mname, sizeof (mname))) {
if (!media_read_name(dp->p.disk, mname, sizeof (mname))) {
(void) media_read_name(dp, mname, sizeof (mname));
if (!media_read_name(dp->p.disk, mname, sizeof (mname))) {
(void) media_read_name(dp, mname, sizeof (mname));
if (!media_read_name(dp->p.disk, mname, sizeof (mname))) {
(void) media_read_name(dp, mname, sizeof (mname));