
  TYPE
    dmt$stored_tape_fmd_version = (dmc$stored_tape_fmd_version_1,
          dmc$stored_tape_fmd_version_2, dmc$stored_tape_fmd_version_3,
          dmc$stored_tape_fmd_version_4, dmc$stored_tape_fmd_version_5,
          dmc$stored_tape_fmd_version_6, dmc$stored_tape_fmd_version_7,
          dmc$stored_tape_fmd_version_8);

