{
{ dmt$device_file_list_index
{

  TYPE
    dmt$device_file_list_index = 0 .. dmc$max_device_file_list_index,
    dmt$old_dfl_index = 0 .. 0ffff(16);

  CONST
    dmc$max_device_file_list_index = 0ffffff(16);

