  TYPE
    cmt$device_file_status = (cmc$dfs_unknown, cmc$dfs_invalid,
      cmc$dfs_installed, cmc$dfs_active),
    cmt$relative_time = (cmc$rt_unknown, cmc$rt_old, cmc$rt_new),

    cmt$device_file_record = record
      name: ost$name,
      status: cmt$device_file_status,
      recorded_vsn: rmt$recorded_vsn,
      relative_time: cmt$relative_time,
      version: ost$name,
    recend,

    cmt$state_info_device_file = record
      name: ost$name,
      recorded_vsn: rmt$recorded_vsn,
      relative_time : cmt$relative_time,
      version: ost$name,
    recend;

?? PUSH (LISTEXT := ON) ??
*copyc OST$NAME
*copyc CMT$ELEMENT_STATE
*copyc CMT$ELEMENT_NAME
*copyc RMD$VOLUME_DECLARATIONS
?? POP ??
