  TYPE
    dut$display_type = (duc$natural_type, duc$integer_type, dut$boolean_type,
      duc$char_type, duc$real_type, duc$longreal_type, duc$string_type,
      duc$hex_type);
