  TYPE

    rmt$iou_type = (rmc$i1, rmc$i2),

    rmt$channel_type = (rmc$170, rmc$180, rmc$cross_connected, rmc$mch,
      rmc$clock, rmc$unused),

    rmt$controller_type = (rmc$7155, rmc$7154, rmc$6681, rmc$7021_2x,
      rmc$7021_3x, rmc$225x, rmc$2_port_mux, rmc$cc545, rmc$lcn, rmc$6683),

    rmt$memory_type = (rmc$m1, rmc$m2, rmc$m3, rmc$m_theta),

    rmt$cpu_type = (rmc$p1, rmc$p2, rmc$p3, rmc$p_theta),

    rmt$rms_type = (rmc$844_4x, rmc$fmd_serial, rmc$fmd_4hp),

    rmt$tape_type = (rmc$667_x, rmc$669_x, rmc$679_x),

    rmt$unit_record_type = (rmc$580_120, rmc$580_160, rmc$580_200, rmc$med_nip,
      rmc$high_nip, rmc$405, rmc$415),

    rmt$console_type = (rmc$545, rmc$752),

    rmt$mainframe_type = (rmc$s1, rmc$s2, rmc$s3, rmc$s_theta),

    rmt$sen = 0 .. rmc$max_sen,

    rmt$element_state = (rmc$on, rmc$off, rmc$maintenance),

    rmt$element_class = (rmc$mainframe, rmc$cpu, rmc$memory, rmc$iou,
      rmc$channel, rmc$pp, rmc$controller, rmc$rms_unit, rmc$tape_unit,
      rmc$unit_record, rmc$console, rmc$cem),

    rmt$element_code = record
      case element_class: rmt$element_class OF
      =rmc$mainframe=
        mainframe_type: rmt$mainframe_type,
      =rmc$cpu=
        cpu_type: rmt$cpu_type,
      =rmc$memory=
        memory_type: rmt$memory_type,
      =rmc$iou=
        iou_type: rmt$iou_type,
      =rmc$channel=
        channel_type: rmt$channel_type,
      =rmc$pp= ,
      =rmc$controller=
        controller_type: rmt$controller_type,
      =rmc$rms_unit=
        rms_type: rmt$rms_type,
      =rmc$tape_unit=
        tape_type: rmt$tape_type,
      =rmc$unit_record=
        unit_record_type: rmt$unit_record_type,
      =rmc$console=
        console_type: rmt$console_type,
      =rmc$cem= ,
      casend
    recend,

    rmt$element_select = record
      code: rmt$element_code,
      mainframe_select: 0 .. rmc$max_mainframe_no,
      cpu_select: 0 .. rmc$max_cpu_no,
      iou_select: 0 .. rmc$max_iou_no,
      pp_select: 0 .. rmc$max_pp_no,
      channel_select: 0 .. rmc$max_channel_no,
      controller_select: 0 .. rmc$max_controller_no,
      device_select: 0 .. rmc$max_device_no,
    recend;
*copyc RMC$LIMIT_CONSTANTS

