
  TYPE
    dut$dump_information = RECORD
      dump_type: dut$di_dump_type,
      iou: ARRAY [0 .. duc$de_maximum_ious] OF dut$di_iou_data,
      tape_type: dut$di_tape_type,
    RECEND,

    dut$di_dump_type = (duc$di_dt_unknown, duc$di_dt_edd, duc$di_dt_dual_state, duc$di_dt_es0,
          duc$di_dt_cy2000),

    dut$di_iou_class = (duc$di_ic_unknown, duc$di_ic_iou_4k, duc$di_ic_iou_8k, duc$di_ic_iou_16k),

    dut$di_iou_data = RECORD
      class: dut$di_iou_class,
      pp_word_size: dut$di_pp_word_size,
      model: dut$di_iou_model,
    RECEND,

    dut$di_iou_model = (duc$di_im_unknown, duc$di_im_i1_1x, duc$di_im_i2_20, duc$di_im_i4_40,
          duc$di_im_i4_42, duc$di_im_i4_43, duc$di_im_i4_44, duc$di_im_i4_46, duc$di_im_i0_5x),

    dut$di_pp_word_size = 0 .. 16384,

    dut$di_tape_type = (duc$di_tt_unknown, duc$di_tt_1, duc$di_tt_2, duc$di_tt_3, duc$di_tt_4,
          duc$di_tt_40, duc$di_tt_41);

*copyc dut$dump_environment
