
  TYPE
    dmt$stored_tape_manager_info = SEQ ( * );

