class TEST

create
	make

feature {NONE} -- Creation

	make is
			-- Run tests.
		local
			q: FUNCTION [INTEGER]
		do
				-- Section 1: constants

				-- Manifest string
			io.put_integer (("%
				%01. This line ends at 0050-th character of string.%
				%02. This line ends at 0100-th character of string.%
				%03. This line ends at 0150-th character of string.%
				%04. This line ends at 0200-th character of string.%
				%05. This line ends at 0250-th character of string.%
				%06. This line ends at 0300-th character of string.%
				%07. This line ends at 0350-th character of string.%
				%08. This line ends at 0400-th character of string.%
				%09. This line ends at 0450-th character of string.%
				%10. This line ends at 0500-th character of string.%
				%11. This line ends at 0550-th character of string.%
				%12. This line ends at 0600-th character of string.%
				%13. This line ends at 0650-th character of string.%
				%14. This line ends at 0700-th character of string.%
				%15. This line ends at 0750-th character of string.%
				%16. This line ends at 0800-th character of string.%
				%17. This line ends at 0850-th character of string.%
				%18. This line ends at 0900-th character of string.%
				%19. This line ends at 0950-th character of string.%
				%20. This line ends at 1000-th character of string.%
				%21. This line ends at 1050-th character of string.%
				%22. This line ends at 1100-th character of string.%
				%23. This line ends at 1150-th character of string.%
				%24. This line ends at 1200-th character of string.%
				%25. This line ends at 1250-th character of string.%
				%26. This line ends at 1300-th character of string.%
				%27. This line ends at 1350-th character of string.%
				%28. This line ends at 1400-th character of string.%
				%29. This line ends at 1450-th character of string.%
				%30. This line ends at 1500-th character of string.%
				%31. This line ends at 1550-th character of string.%
				%32. This line ends at 1600-th character of string.%
				%33. This line ends at 1650-th character of string.%
				%34. This line ends at 1700-th character of string.%
				%35. This line ends at 1750-th character of string.%
				%36. This line ends at 1800-th character of string.%
				%37. This line ends at 1850-th character of string.%
				%38. This line ends at 1900-th character of string.%
				%39. This line ends at 1950-th character of string.%
				%40. This line ends at 2000-th character of string.%
				%41. This line ends at 2050-th character of string.%
				%42. This line ends at 2100-th character of string.%
				%43. This line ends at 2150-th character of string.%
				%44. This line ends at 2200-th character of string.%
				%45. This line ends at 2250-th character of string.%
				%46. This line ends at 2300-th character of string.%
				%47. This line ends at 2350-th character of string.%
				%48. This line ends at 2400-th character of string.%
				%49. This line ends at 2450-th character of string.%
				%50. This line ends at 2500-th character of string.%
				%51. This line ends at 2550-th character of string.%
				%52. This line ends at 2600-th character of string.%
				%53. This line ends at 2650-th character of string.%
				%54. This line ends at 2700-th character of string.%
				%55. This line ends at 2750-th character of string.%
				%56. This line ends at 2800-th character of string.%
				%57. This line ends at 2850-th character of string.%
				%58. This line ends at 2900-th character of string.%
				%59. This line ends at 2950-th character of string.%
				%60. This line ends at 3000-th character of string.%
				%61. This line ends at 3050-th character of string.%
				%62. This line ends at 3100-th character of string.%
				%63. This line ends at 3150-th character of string.%
				%64. This line ends at 3200-th character of string.%
				%65. This line ends at 3250-th character of string.%
				%66. This line ends at 3300-th character of string.%
				%67. This line ends at 3350-th character of string.%
				%68. This line ends at 3400-th character of string.%
				%69. This line ends at 3450-th character of string.%
				%70. This line ends at 3500-th character of string.%
				%71. This line ends at 3550-th character of string.%
				%72. This line ends at 3600-th character of string.%
				%73. This line ends at 3650-th character of string.%
				%74. This line ends at 3700-th character of string.%
				%75. This line ends at 3750-th character of string.%
				%76. This line ends at 3800-th character of string.%
				%77. This line ends at 3850-th character of string.%
				%78. This line ends at 3900-th character of string.%
				%79. This line ends at 3950-th character of string.%
				%80. This line ends at 4000-th character of string.%
				%81. This line ends at 4050-th character of string.%
				%82. This line ends at 4100-th character of string.%
				%83. This line ends at 4150-th character of string.%
				%84. This line ends at 4200-th character of string.%
				%85. This line ends at 4250-th character of string.%
				%86. This line ends at 4300-th character of string.%
				%87. This line ends at 4350-th character of string.%
				%88. This line ends at 4400-th character of string.%
				%89. This line ends at 4450-th character of string.%
				%90. This line ends at 4500-th character of string.%
				%91. This line ends at 4550-th character of string.%
				%92. This line ends at 4600-th character of string.%
				%93. This line ends at 4650-th character of string.%
				%94. This line ends at 4700-th character of string.%
				%95. This line ends at 4750-th character of string.%
				%96. This line ends at 4800-th character of string.%
				%97. This line ends at 4850-th character of string.%
				%98. This line ends at 4900-th character of string.%
				%99. This line ends at 4950-th character of string.%
				%00. This line ends at 5000-th character of string.%
			%").count)
			io.put_new_line
				-- Once manifest string
			io.put_integer ((once "%
				%01. This line ends at 0050-th character of string.%
				%02. This line ends at 0100-th character of string.%
				%03. This line ends at 0150-th character of string.%
				%04. This line ends at 0200-th character of string.%
				%05. This line ends at 0250-th character of string.%
				%06. This line ends at 0300-th character of string.%
				%07. This line ends at 0350-th character of string.%
				%08. This line ends at 0400-th character of string.%
				%09. This line ends at 0450-th character of string.%
				%10. This line ends at 0500-th character of string.%
				%11. This line ends at 0550-th character of string.%
				%12. This line ends at 0600-th character of string.%
				%13. This line ends at 0650-th character of string.%
				%14. This line ends at 0700-th character of string.%
				%15. This line ends at 0750-th character of string.%
				%16. This line ends at 0800-th character of string.%
				%17. This line ends at 0850-th character of string.%
				%18. This line ends at 0900-th character of string.%
				%19. This line ends at 0950-th character of string.%
				%20. This line ends at 1000-th character of string.%
				%21. This line ends at 1050-th character of string.%
				%22. This line ends at 1100-th character of string.%
				%23. This line ends at 1150-th character of string.%
				%24. This line ends at 1200-th character of string.%
				%25. This line ends at 1250-th character of string.%
				%26. This line ends at 1300-th character of string.%
				%27. This line ends at 1350-th character of string.%
				%28. This line ends at 1400-th character of string.%
				%29. This line ends at 1450-th character of string.%
				%30. This line ends at 1500-th character of string.%
				%31. This line ends at 1550-th character of string.%
				%32. This line ends at 1600-th character of string.%
				%33. This line ends at 1650-th character of string.%
				%34. This line ends at 1700-th character of string.%
				%35. This line ends at 1750-th character of string.%
				%36. This line ends at 1800-th character of string.%
				%37. This line ends at 1850-th character of string.%
				%38. This line ends at 1900-th character of string.%
				%39. This line ends at 1950-th character of string.%
				%40. This line ends at 2000-th character of string.%
				%41. This line ends at 2050-th character of string.%
				%42. This line ends at 2100-th character of string.%
				%43. This line ends at 2150-th character of string.%
				%44. This line ends at 2200-th character of string.%
				%45. This line ends at 2250-th character of string.%
				%46. This line ends at 2300-th character of string.%
				%47. This line ends at 2350-th character of string.%
				%48. This line ends at 2400-th character of string.%
				%49. This line ends at 2450-th character of string.%
				%50. This line ends at 2500-th character of string.%
				%51. This line ends at 2550-th character of string.%
				%52. This line ends at 2600-th character of string.%
				%53. This line ends at 2650-th character of string.%
				%54. This line ends at 2700-th character of string.%
				%55. This line ends at 2750-th character of string.%
				%56. This line ends at 2800-th character of string.%
				%57. This line ends at 2850-th character of string.%
				%58. This line ends at 2900-th character of string.%
				%59. This line ends at 2950-th character of string.%
				%60. This line ends at 3000-th character of string.%
				%61. This line ends at 3050-th character of string.%
				%62. This line ends at 3100-th character of string.%
				%63. This line ends at 3150-th character of string.%
				%64. This line ends at 3200-th character of string.%
				%65. This line ends at 3250-th character of string.%
				%66. This line ends at 3300-th character of string.%
				%67. This line ends at 3350-th character of string.%
				%68. This line ends at 3400-th character of string.%
				%69. This line ends at 3450-th character of string.%
				%70. This line ends at 3500-th character of string.%
				%71. This line ends at 3550-th character of string.%
				%72. This line ends at 3600-th character of string.%
				%73. This line ends at 3650-th character of string.%
				%74. This line ends at 3700-th character of string.%
				%75. This line ends at 3750-th character of string.%
				%76. This line ends at 3800-th character of string.%
				%77. This line ends at 3850-th character of string.%
				%78. This line ends at 3900-th character of string.%
				%79. This line ends at 3950-th character of string.%
				%80. This line ends at 4000-th character of string.%
				%81. This line ends at 4050-th character of string.%
				%82. This line ends at 4100-th character of string.%
				%83. This line ends at 4150-th character of string.%
				%84. This line ends at 4200-th character of string.%
				%85. This line ends at 4250-th character of string.%
				%86. This line ends at 4300-th character of string.%
				%87. This line ends at 4350-th character of string.%
				%88. This line ends at 4400-th character of string.%
				%89. This line ends at 4450-th character of string.%
				%90. This line ends at 4500-th character of string.%
				%91. This line ends at 4550-th character of string.%
				%92. This line ends at 4600-th character of string.%
				%93. This line ends at 4650-th character of string.%
				%94. This line ends at 4700-th character of string.%
				%95. This line ends at 4750-th character of string.%
				%96. This line ends at 4800-th character of string.%
				%97. This line ends at 4850-th character of string.%
				%98. This line ends at 4900-th character of string.%
				%99. This line ends at 4950-th character of string.%
				%00. This line ends at 5000-th character of string.%
			%").count)
			io.put_new_line
				-- Constant string attribute
			io.put_integer (s.count)
			io.put_new_line

				-- Section 2: feature names

				-- Unqualified attribute name
			if part_01_of_attribute_name_ends_on_character_0050thpart_02_of_attribute_name_ends_on_character_0100thpart_03_of_attribute_name_ends_on_character_0150thpart_04_of_attribute_name_ends_on_character_0200thpart_05_of_attribute_name_ends_on_character_0250thpart_06_of_attribute_name_ends_on_character_0300thpart_07_of_attribute_name_ends_on_character_0350thpart_08_of_attribute_name_ends_on_character_0400thpart_09_of_attribute_name_ends_on_character_0450thpart_10_of_attribute_name_ends_on_character_0500thpart_11_of_attribute_name_ends_on_character_0550thpart_12_of_attribute_name_ends_on_character_0600thpart_13_of_attribute_name_ends_on_character_0650thpart_14_of_attribute_name_ends_on_character_0700thpart_15_of_attribute_name_ends_on_character_0750thpart_16_of_attribute_name_ends_on_character_0800thpart_17_of_attribute_name_ends_on_character_0850thpart_18_of_attribute_name_ends_on_character_0900thpart_19_of_attribute_name_ends_on_character_0950thpart_20_of_attribute_name_ends_on_character_1000thpart_21_of_attribute_name_ends_on_character_1050thpart_22_of_attribute_name_ends_on_character_1100thpart_23_of_attribute_name_ends_on_character_1150thpart_24_of_attribute_name_ends_on_character_1200thpart_25_of_attribute_name_ends_on_character_1250thpart_26_of_attribute_name_ends_on_character_1300thpart_27_of_attribute_name_ends_on_character_1350thpart_28_of_attribute_name_ends_on_character_1400thpart_29_of_attribute_name_ends_on_character_1450thpart_30_of_attribute_name_ends_on_character_1500thpart_31_of_attribute_name_ends_on_character_1550thpart_32_of_attribute_name_ends_on_character_1600thpart_33_of_attribute_name_ends_on_character_1650thpart_34_of_attribute_name_ends_on_character_1700thpart_35_of_attribute_name_ends_on_character_1750thpart_36_of_attribute_name_ends_on_character_1800thpart_37_of_attribute_name_ends_on_character_1850thpart_38_of_attribute_name_ends_on_character_1900thpart_39_of_attribute_name_ends_on_character_1950thpart_40_of_attribute_name_ends_on_character_2000thpart_41_of_attribute_name_ends_on_character_2050thpart_42_of_attribute_name_ends_on_character_2100thpart_43_of_attribute_name_ends_on_character_2150thpart_44_of_attribute_name_ends_on_character_2200thpart_45_of_attribute_name_ends_on_character_2250thpart_46_of_attribute_name_ends_on_character_2300thpart_47_of_attribute_name_ends_on_character_2350thpart_48_of_attribute_name_ends_on_character_2400thpart_49_of_attribute_name_ends_on_character_2450thpart_50_of_attribute_name_ends_on_character_2500thpart_51_of_attribute_name_ends_on_character_2550thpart_52_of_attribute_name_ends_on_character_2600thpart_53_of_attribute_name_ends_on_character_2650thpart_54_of_attribute_name_ends_on_character_2700thpart_55_of_attribute_name_ends_on_character_2750thpart_56_of_attribute_name_ends_on_character_2800thpart_57_of_attribute_name_ends_on_character_2850thpart_58_of_attribute_name_ends_on_character_2900thpart_59_of_attribute_name_ends_on_character_2950thpart_60_of_attribute_name_ends_on_character_3000thpart_61_of_attribute_name_ends_on_character_3050thpart_62_of_attribute_name_ends_on_character_3100thpart_63_of_attribute_name_ends_on_character_3150thpart_64_of_attribute_name_ends_on_character_3200thpart_65_of_attribute_name_ends_on_character_3250thpart_66_of_attribute_name_ends_on_character_3300thpart_67_of_attribute_name_ends_on_character_3350thpart_68_of_attribute_name_ends_on_character_3400thpart_69_of_attribute_name_ends_on_character_3450thpart_70_of_attribute_name_ends_on_character_3500thpart_71_of_attribute_name_ends_on_character_3550thpart_72_of_attribute_name_ends_on_character_3600thpart_73_of_attribute_name_ends_on_character_3650thpart_74_of_attribute_name_ends_on_character_3700thpart_75_of_attribute_name_ends_on_character_3750thpart_76_of_attribute_name_ends_on_character_3800thpart_77_of_attribute_name_ends_on_character_3850thpart_78_of_attribute_name_ends_on_character_3900thpart_79_of_attribute_name_ends_on_character_3950thpart_80_of_attribute_name_ends_on_character_4000thpart_81_of_attribute_name_ends_on_character_4050thpart_82_of_attribute_name_ends_on_character_4100thpart_83_of_attribute_name_ends_on_character_4150thpart_84_of_attribute_name_ends_on_character_4200thpart_85_of_attribute_name_ends_on_character_4250thpart_86_of_attribute_name_ends_on_character_4300thpart_87_of_attribute_name_ends_on_character_4350thpart_88_of_attribute_name_ends_on_character_4400thpart_89_of_attribute_name_ends_on_character_4450thpart_90_of_attribute_name_ends_on_character_4500thpart_91_of_attribute_name_ends_on_character_4550thpart_92_of_attribute_name_ends_on_character_4600thpart_93_of_attribute_name_ends_on_character_4650thpart_94_of_attribute_name_ends_on_character_4700thpart_95_of_attribute_name_ends_on_character_4750thpart_96_of_attribute_name_ends_on_character_4800thpart_97_of_attribute_name_ends_on_character_4850thpart_98_of_attribute_name_ends_on_character_4900thpart_99_of_attribute_name_ends_on_character_4950thpart_00_of_attribute_name_ends_on_character_5000th = Void then
				io.put_integer (5000)
				io.put_new_line
			end
				-- Unqualified internal routine name
			io.put_integer (part_01_of_internal_routine_name_ends_on_ch_0050thpart_02_of_internal_routine_name_ends_on_ch_0100thpart_03_of_internal_routine_name_ends_on_ch_0150thpart_04_of_internal_routine_name_ends_on_ch_0200thpart_05_of_internal_routine_name_ends_on_ch_0250thpart_06_of_internal_routine_name_ends_on_ch_0300thpart_07_of_internal_routine_name_ends_on_ch_0350thpart_08_of_internal_routine_name_ends_on_ch_0400thpart_09_of_internal_routine_name_ends_on_ch_0450thpart_10_of_internal_routine_name_ends_on_ch_0500thpart_11_of_internal_routine_name_ends_on_ch_0550thpart_12_of_internal_routine_name_ends_on_ch_0600thpart_13_of_internal_routine_name_ends_on_ch_0650thpart_14_of_internal_routine_name_ends_on_ch_0700thpart_15_of_internal_routine_name_ends_on_ch_0750thpart_16_of_internal_routine_name_ends_on_ch_0800thpart_17_of_internal_routine_name_ends_on_ch_0850thpart_18_of_internal_routine_name_ends_on_ch_0900thpart_19_of_internal_routine_name_ends_on_ch_0950thpart_20_of_internal_routine_name_ends_on_ch_1000thpart_21_of_internal_routine_name_ends_on_ch_1050thpart_22_of_internal_routine_name_ends_on_ch_1100thpart_23_of_internal_routine_name_ends_on_ch_1150thpart_24_of_internal_routine_name_ends_on_ch_1200thpart_25_of_internal_routine_name_ends_on_ch_1250thpart_26_of_internal_routine_name_ends_on_ch_1300thpart_27_of_internal_routine_name_ends_on_ch_1350thpart_28_of_internal_routine_name_ends_on_ch_1400thpart_29_of_internal_routine_name_ends_on_ch_1450thpart_30_of_internal_routine_name_ends_on_ch_1500thpart_31_of_internal_routine_name_ends_on_ch_1550thpart_32_of_internal_routine_name_ends_on_ch_1600thpart_33_of_internal_routine_name_ends_on_ch_1650thpart_34_of_internal_routine_name_ends_on_ch_1700thpart_35_of_internal_routine_name_ends_on_ch_1750thpart_36_of_internal_routine_name_ends_on_ch_1800thpart_37_of_internal_routine_name_ends_on_ch_1850thpart_38_of_internal_routine_name_ends_on_ch_1900thpart_39_of_internal_routine_name_ends_on_ch_1950thpart_40_of_internal_routine_name_ends_on_ch_2000thpart_41_of_internal_routine_name_ends_on_ch_2050thpart_42_of_internal_routine_name_ends_on_ch_2100thpart_43_of_internal_routine_name_ends_on_ch_2150thpart_44_of_internal_routine_name_ends_on_ch_2200thpart_45_of_internal_routine_name_ends_on_ch_2250thpart_46_of_internal_routine_name_ends_on_ch_2300thpart_47_of_internal_routine_name_ends_on_ch_2350thpart_48_of_internal_routine_name_ends_on_ch_2400thpart_49_of_internal_routine_name_ends_on_ch_2450thpart_50_of_internal_routine_name_ends_on_ch_2500thpart_51_of_internal_routine_name_ends_on_ch_2550thpart_52_of_internal_routine_name_ends_on_ch_2600thpart_53_of_internal_routine_name_ends_on_ch_2650thpart_54_of_internal_routine_name_ends_on_ch_2700thpart_55_of_internal_routine_name_ends_on_ch_2750thpart_56_of_internal_routine_name_ends_on_ch_2800thpart_57_of_internal_routine_name_ends_on_ch_2850thpart_58_of_internal_routine_name_ends_on_ch_2900thpart_59_of_internal_routine_name_ends_on_ch_2950thpart_60_of_internal_routine_name_ends_on_ch_3000thpart_61_of_internal_routine_name_ends_on_ch_3050thpart_62_of_internal_routine_name_ends_on_ch_3100thpart_63_of_internal_routine_name_ends_on_ch_3150thpart_64_of_internal_routine_name_ends_on_ch_3200thpart_65_of_internal_routine_name_ends_on_ch_3250thpart_66_of_internal_routine_name_ends_on_ch_3300thpart_67_of_internal_routine_name_ends_on_ch_3350thpart_68_of_internal_routine_name_ends_on_ch_3400thpart_69_of_internal_routine_name_ends_on_ch_3450thpart_70_of_internal_routine_name_ends_on_ch_3500thpart_71_of_internal_routine_name_ends_on_ch_3550thpart_72_of_internal_routine_name_ends_on_ch_3600thpart_73_of_internal_routine_name_ends_on_ch_3650thpart_74_of_internal_routine_name_ends_on_ch_3700thpart_75_of_internal_routine_name_ends_on_ch_3750thpart_76_of_internal_routine_name_ends_on_ch_3800thpart_77_of_internal_routine_name_ends_on_ch_3850thpart_78_of_internal_routine_name_ends_on_ch_3900thpart_79_of_internal_routine_name_ends_on_ch_3950thpart_80_of_internal_routine_name_ends_on_ch_4000thpart_81_of_internal_routine_name_ends_on_ch_4050thpart_82_of_internal_routine_name_ends_on_ch_4100thpart_83_of_internal_routine_name_ends_on_ch_4150thpart_84_of_internal_routine_name_ends_on_ch_4200thpart_85_of_internal_routine_name_ends_on_ch_4250thpart_86_of_internal_routine_name_ends_on_ch_4300thpart_87_of_internal_routine_name_ends_on_ch_4350thpart_88_of_internal_routine_name_ends_on_ch_4400thpart_89_of_internal_routine_name_ends_on_ch_4450thpart_90_of_internal_routine_name_ends_on_ch_4500thpart_91_of_internal_routine_name_ends_on_ch_4550thpart_92_of_internal_routine_name_ends_on_ch_4600thpart_93_of_internal_routine_name_ends_on_ch_4650thpart_94_of_internal_routine_name_ends_on_ch_4700thpart_95_of_internal_routine_name_ends_on_ch_4750thpart_96_of_internal_routine_name_ends_on_ch_4800thpart_97_of_internal_routine_name_ends_on_ch_4850thpart_98_of_internal_routine_name_ends_on_ch_4900thpart_99_of_internal_routine_name_ends_on_ch_4950thpart_00_of_internal_routine_name_ends_on_ch_5000th)
			io.put_new_line
				-- Unqualified external routine name
			io.put_integer (part_01_of_external_routine_name_ends_on_ch_0050thpart_02_of_external_routine_name_ends_on_ch_0100thpart_03_of_external_routine_name_ends_on_ch_0150thpart_04_of_external_routine_name_ends_on_ch_0200thpart_05_of_external_routine_name_ends_on_ch_0250thpart_06_of_external_routine_name_ends_on_ch_0300thpart_07_of_external_routine_name_ends_on_ch_0350thpart_08_of_external_routine_name_ends_on_ch_0400thpart_09_of_external_routine_name_ends_on_ch_0450thpart_10_of_external_routine_name_ends_on_ch_0500thpart_11_of_external_routine_name_ends_on_ch_0550thpart_12_of_external_routine_name_ends_on_ch_0600thpart_13_of_external_routine_name_ends_on_ch_0650thpart_14_of_external_routine_name_ends_on_ch_0700thpart_15_of_external_routine_name_ends_on_ch_0750thpart_16_of_external_routine_name_ends_on_ch_0800thpart_17_of_external_routine_name_ends_on_ch_0850thpart_18_of_external_routine_name_ends_on_ch_0900thpart_19_of_external_routine_name_ends_on_ch_0950thpart_20_of_external_routine_name_ends_on_ch_1000thpart_21_of_external_routine_name_ends_on_ch_1050thpart_22_of_external_routine_name_ends_on_ch_1100thpart_23_of_external_routine_name_ends_on_ch_1150thpart_24_of_external_routine_name_ends_on_ch_1200thpart_25_of_external_routine_name_ends_on_ch_1250thpart_26_of_external_routine_name_ends_on_ch_1300thpart_27_of_external_routine_name_ends_on_ch_1350thpart_28_of_external_routine_name_ends_on_ch_1400thpart_29_of_external_routine_name_ends_on_ch_1450thpart_30_of_external_routine_name_ends_on_ch_1500thpart_31_of_external_routine_name_ends_on_ch_1550thpart_32_of_external_routine_name_ends_on_ch_1600thpart_33_of_external_routine_name_ends_on_ch_1650thpart_34_of_external_routine_name_ends_on_ch_1700thpart_35_of_external_routine_name_ends_on_ch_1750thpart_36_of_external_routine_name_ends_on_ch_1800thpart_37_of_external_routine_name_ends_on_ch_1850thpart_38_of_external_routine_name_ends_on_ch_1900thpart_39_of_external_routine_name_ends_on_ch_1950thpart_40_of_external_routine_name_ends_on_ch_2000thpart_41_of_external_routine_name_ends_on_ch_2050thpart_42_of_external_routine_name_ends_on_ch_2100thpart_43_of_external_routine_name_ends_on_ch_2150thpart_44_of_external_routine_name_ends_on_ch_2200thpart_45_of_external_routine_name_ends_on_ch_2250thpart_46_of_external_routine_name_ends_on_ch_2300thpart_47_of_external_routine_name_ends_on_ch_2350thpart_48_of_external_routine_name_ends_on_ch_2400thpart_49_of_external_routine_name_ends_on_ch_2450thpart_50_of_external_routine_name_ends_on_ch_2500thpart_51_of_external_routine_name_ends_on_ch_2550thpart_52_of_external_routine_name_ends_on_ch_2600thpart_53_of_external_routine_name_ends_on_ch_2650thpart_54_of_external_routine_name_ends_on_ch_2700thpart_55_of_external_routine_name_ends_on_ch_2750thpart_56_of_external_routine_name_ends_on_ch_2800thpart_57_of_external_routine_name_ends_on_ch_2850thpart_58_of_external_routine_name_ends_on_ch_2900thpart_59_of_external_routine_name_ends_on_ch_2950thpart_60_of_external_routine_name_ends_on_ch_3000thpart_61_of_external_routine_name_ends_on_ch_3050thpart_62_of_external_routine_name_ends_on_ch_3100thpart_63_of_external_routine_name_ends_on_ch_3150thpart_64_of_external_routine_name_ends_on_ch_3200thpart_65_of_external_routine_name_ends_on_ch_3250thpart_66_of_external_routine_name_ends_on_ch_3300thpart_67_of_external_routine_name_ends_on_ch_3350thpart_68_of_external_routine_name_ends_on_ch_3400thpart_69_of_external_routine_name_ends_on_ch_3450thpart_70_of_external_routine_name_ends_on_ch_3500thpart_71_of_external_routine_name_ends_on_ch_3550thpart_72_of_external_routine_name_ends_on_ch_3600thpart_73_of_external_routine_name_ends_on_ch_3650thpart_74_of_external_routine_name_ends_on_ch_3700thpart_75_of_external_routine_name_ends_on_ch_3750thpart_76_of_external_routine_name_ends_on_ch_3800thpart_77_of_external_routine_name_ends_on_ch_3850thpart_78_of_external_routine_name_ends_on_ch_3900thpart_79_of_external_routine_name_ends_on_ch_3950thpart_80_of_external_routine_name_ends_on_ch_4000thpart_81_of_external_routine_name_ends_on_ch_4050thpart_82_of_external_routine_name_ends_on_ch_4100thpart_83_of_external_routine_name_ends_on_ch_4150thpart_84_of_external_routine_name_ends_on_ch_4200thpart_85_of_external_routine_name_ends_on_ch_4250thpart_86_of_external_routine_name_ends_on_ch_4300thpart_87_of_external_routine_name_ends_on_ch_4350thpart_88_of_external_routine_name_ends_on_ch_4400thpart_89_of_external_routine_name_ends_on_ch_4450thpart_90_of_external_routine_name_ends_on_ch_4500thpart_91_of_external_routine_name_ends_on_ch_4550thpart_92_of_external_routine_name_ends_on_ch_4600thpart_93_of_external_routine_name_ends_on_ch_4650thpart_94_of_external_routine_name_ends_on_ch_4700thpart_95_of_external_routine_name_ends_on_ch_4750thpart_96_of_external_routine_name_ends_on_ch_4800thpart_97_of_external_routine_name_ends_on_ch_4850thpart_98_of_external_routine_name_ends_on_ch_4900thpart_99_of_external_routine_name_ends_on_ch_4950thpart_00_of_external_routine_name_ends_on_ch_5000th)
			io.put_new_line

				-- Qualified attribute name
			if Current.part_01_of_attribute_name_ends_on_character_0050thpart_02_of_attribute_name_ends_on_character_0100thpart_03_of_attribute_name_ends_on_character_0150thpart_04_of_attribute_name_ends_on_character_0200thpart_05_of_attribute_name_ends_on_character_0250thpart_06_of_attribute_name_ends_on_character_0300thpart_07_of_attribute_name_ends_on_character_0350thpart_08_of_attribute_name_ends_on_character_0400thpart_09_of_attribute_name_ends_on_character_0450thpart_10_of_attribute_name_ends_on_character_0500thpart_11_of_attribute_name_ends_on_character_0550thpart_12_of_attribute_name_ends_on_character_0600thpart_13_of_attribute_name_ends_on_character_0650thpart_14_of_attribute_name_ends_on_character_0700thpart_15_of_attribute_name_ends_on_character_0750thpart_16_of_attribute_name_ends_on_character_0800thpart_17_of_attribute_name_ends_on_character_0850thpart_18_of_attribute_name_ends_on_character_0900thpart_19_of_attribute_name_ends_on_character_0950thpart_20_of_attribute_name_ends_on_character_1000thpart_21_of_attribute_name_ends_on_character_1050thpart_22_of_attribute_name_ends_on_character_1100thpart_23_of_attribute_name_ends_on_character_1150thpart_24_of_attribute_name_ends_on_character_1200thpart_25_of_attribute_name_ends_on_character_1250thpart_26_of_attribute_name_ends_on_character_1300thpart_27_of_attribute_name_ends_on_character_1350thpart_28_of_attribute_name_ends_on_character_1400thpart_29_of_attribute_name_ends_on_character_1450thpart_30_of_attribute_name_ends_on_character_1500thpart_31_of_attribute_name_ends_on_character_1550thpart_32_of_attribute_name_ends_on_character_1600thpart_33_of_attribute_name_ends_on_character_1650thpart_34_of_attribute_name_ends_on_character_1700thpart_35_of_attribute_name_ends_on_character_1750thpart_36_of_attribute_name_ends_on_character_1800thpart_37_of_attribute_name_ends_on_character_1850thpart_38_of_attribute_name_ends_on_character_1900thpart_39_of_attribute_name_ends_on_character_1950thpart_40_of_attribute_name_ends_on_character_2000thpart_41_of_attribute_name_ends_on_character_2050thpart_42_of_attribute_name_ends_on_character_2100thpart_43_of_attribute_name_ends_on_character_2150thpart_44_of_attribute_name_ends_on_character_2200thpart_45_of_attribute_name_ends_on_character_2250thpart_46_of_attribute_name_ends_on_character_2300thpart_47_of_attribute_name_ends_on_character_2350thpart_48_of_attribute_name_ends_on_character_2400thpart_49_of_attribute_name_ends_on_character_2450thpart_50_of_attribute_name_ends_on_character_2500thpart_51_of_attribute_name_ends_on_character_2550thpart_52_of_attribute_name_ends_on_character_2600thpart_53_of_attribute_name_ends_on_character_2650thpart_54_of_attribute_name_ends_on_character_2700thpart_55_of_attribute_name_ends_on_character_2750thpart_56_of_attribute_name_ends_on_character_2800thpart_57_of_attribute_name_ends_on_character_2850thpart_58_of_attribute_name_ends_on_character_2900thpart_59_of_attribute_name_ends_on_character_2950thpart_60_of_attribute_name_ends_on_character_3000thpart_61_of_attribute_name_ends_on_character_3050thpart_62_of_attribute_name_ends_on_character_3100thpart_63_of_attribute_name_ends_on_character_3150thpart_64_of_attribute_name_ends_on_character_3200thpart_65_of_attribute_name_ends_on_character_3250thpart_66_of_attribute_name_ends_on_character_3300thpart_67_of_attribute_name_ends_on_character_3350thpart_68_of_attribute_name_ends_on_character_3400thpart_69_of_attribute_name_ends_on_character_3450thpart_70_of_attribute_name_ends_on_character_3500thpart_71_of_attribute_name_ends_on_character_3550thpart_72_of_attribute_name_ends_on_character_3600thpart_73_of_attribute_name_ends_on_character_3650thpart_74_of_attribute_name_ends_on_character_3700thpart_75_of_attribute_name_ends_on_character_3750thpart_76_of_attribute_name_ends_on_character_3800thpart_77_of_attribute_name_ends_on_character_3850thpart_78_of_attribute_name_ends_on_character_3900thpart_79_of_attribute_name_ends_on_character_3950thpart_80_of_attribute_name_ends_on_character_4000thpart_81_of_attribute_name_ends_on_character_4050thpart_82_of_attribute_name_ends_on_character_4100thpart_83_of_attribute_name_ends_on_character_4150thpart_84_of_attribute_name_ends_on_character_4200thpart_85_of_attribute_name_ends_on_character_4250thpart_86_of_attribute_name_ends_on_character_4300thpart_87_of_attribute_name_ends_on_character_4350thpart_88_of_attribute_name_ends_on_character_4400thpart_89_of_attribute_name_ends_on_character_4450thpart_90_of_attribute_name_ends_on_character_4500thpart_91_of_attribute_name_ends_on_character_4550thpart_92_of_attribute_name_ends_on_character_4600thpart_93_of_attribute_name_ends_on_character_4650thpart_94_of_attribute_name_ends_on_character_4700thpart_95_of_attribute_name_ends_on_character_4750thpart_96_of_attribute_name_ends_on_character_4800thpart_97_of_attribute_name_ends_on_character_4850thpart_98_of_attribute_name_ends_on_character_4900thpart_99_of_attribute_name_ends_on_character_4950thpart_00_of_attribute_name_ends_on_character_5000th = Void then
				io.put_integer (5000)
				io.put_new_line
			end
				-- Qualified internal routine name
			io.put_integer (Current.part_01_of_internal_routine_name_ends_on_ch_0050thpart_02_of_internal_routine_name_ends_on_ch_0100thpart_03_of_internal_routine_name_ends_on_ch_0150thpart_04_of_internal_routine_name_ends_on_ch_0200thpart_05_of_internal_routine_name_ends_on_ch_0250thpart_06_of_internal_routine_name_ends_on_ch_0300thpart_07_of_internal_routine_name_ends_on_ch_0350thpart_08_of_internal_routine_name_ends_on_ch_0400thpart_09_of_internal_routine_name_ends_on_ch_0450thpart_10_of_internal_routine_name_ends_on_ch_0500thpart_11_of_internal_routine_name_ends_on_ch_0550thpart_12_of_internal_routine_name_ends_on_ch_0600thpart_13_of_internal_routine_name_ends_on_ch_0650thpart_14_of_internal_routine_name_ends_on_ch_0700thpart_15_of_internal_routine_name_ends_on_ch_0750thpart_16_of_internal_routine_name_ends_on_ch_0800thpart_17_of_internal_routine_name_ends_on_ch_0850thpart_18_of_internal_routine_name_ends_on_ch_0900thpart_19_of_internal_routine_name_ends_on_ch_0950thpart_20_of_internal_routine_name_ends_on_ch_1000thpart_21_of_internal_routine_name_ends_on_ch_1050thpart_22_of_internal_routine_name_ends_on_ch_1100thpart_23_of_internal_routine_name_ends_on_ch_1150thpart_24_of_internal_routine_name_ends_on_ch_1200thpart_25_of_internal_routine_name_ends_on_ch_1250thpart_26_of_internal_routine_name_ends_on_ch_1300thpart_27_of_internal_routine_name_ends_on_ch_1350thpart_28_of_internal_routine_name_ends_on_ch_1400thpart_29_of_internal_routine_name_ends_on_ch_1450thpart_30_of_internal_routine_name_ends_on_ch_1500thpart_31_of_internal_routine_name_ends_on_ch_1550thpart_32_of_internal_routine_name_ends_on_ch_1600thpart_33_of_internal_routine_name_ends_on_ch_1650thpart_34_of_internal_routine_name_ends_on_ch_1700thpart_35_of_internal_routine_name_ends_on_ch_1750thpart_36_of_internal_routine_name_ends_on_ch_1800thpart_37_of_internal_routine_name_ends_on_ch_1850thpart_38_of_internal_routine_name_ends_on_ch_1900thpart_39_of_internal_routine_name_ends_on_ch_1950thpart_40_of_internal_routine_name_ends_on_ch_2000thpart_41_of_internal_routine_name_ends_on_ch_2050thpart_42_of_internal_routine_name_ends_on_ch_2100thpart_43_of_internal_routine_name_ends_on_ch_2150thpart_44_of_internal_routine_name_ends_on_ch_2200thpart_45_of_internal_routine_name_ends_on_ch_2250thpart_46_of_internal_routine_name_ends_on_ch_2300thpart_47_of_internal_routine_name_ends_on_ch_2350thpart_48_of_internal_routine_name_ends_on_ch_2400thpart_49_of_internal_routine_name_ends_on_ch_2450thpart_50_of_internal_routine_name_ends_on_ch_2500thpart_51_of_internal_routine_name_ends_on_ch_2550thpart_52_of_internal_routine_name_ends_on_ch_2600thpart_53_of_internal_routine_name_ends_on_ch_2650thpart_54_of_internal_routine_name_ends_on_ch_2700thpart_55_of_internal_routine_name_ends_on_ch_2750thpart_56_of_internal_routine_name_ends_on_ch_2800thpart_57_of_internal_routine_name_ends_on_ch_2850thpart_58_of_internal_routine_name_ends_on_ch_2900thpart_59_of_internal_routine_name_ends_on_ch_2950thpart_60_of_internal_routine_name_ends_on_ch_3000thpart_61_of_internal_routine_name_ends_on_ch_3050thpart_62_of_internal_routine_name_ends_on_ch_3100thpart_63_of_internal_routine_name_ends_on_ch_3150thpart_64_of_internal_routine_name_ends_on_ch_3200thpart_65_of_internal_routine_name_ends_on_ch_3250thpart_66_of_internal_routine_name_ends_on_ch_3300thpart_67_of_internal_routine_name_ends_on_ch_3350thpart_68_of_internal_routine_name_ends_on_ch_3400thpart_69_of_internal_routine_name_ends_on_ch_3450thpart_70_of_internal_routine_name_ends_on_ch_3500thpart_71_of_internal_routine_name_ends_on_ch_3550thpart_72_of_internal_routine_name_ends_on_ch_3600thpart_73_of_internal_routine_name_ends_on_ch_3650thpart_74_of_internal_routine_name_ends_on_ch_3700thpart_75_of_internal_routine_name_ends_on_ch_3750thpart_76_of_internal_routine_name_ends_on_ch_3800thpart_77_of_internal_routine_name_ends_on_ch_3850thpart_78_of_internal_routine_name_ends_on_ch_3900thpart_79_of_internal_routine_name_ends_on_ch_3950thpart_80_of_internal_routine_name_ends_on_ch_4000thpart_81_of_internal_routine_name_ends_on_ch_4050thpart_82_of_internal_routine_name_ends_on_ch_4100thpart_83_of_internal_routine_name_ends_on_ch_4150thpart_84_of_internal_routine_name_ends_on_ch_4200thpart_85_of_internal_routine_name_ends_on_ch_4250thpart_86_of_internal_routine_name_ends_on_ch_4300thpart_87_of_internal_routine_name_ends_on_ch_4350thpart_88_of_internal_routine_name_ends_on_ch_4400thpart_89_of_internal_routine_name_ends_on_ch_4450thpart_90_of_internal_routine_name_ends_on_ch_4500thpart_91_of_internal_routine_name_ends_on_ch_4550thpart_92_of_internal_routine_name_ends_on_ch_4600thpart_93_of_internal_routine_name_ends_on_ch_4650thpart_94_of_internal_routine_name_ends_on_ch_4700thpart_95_of_internal_routine_name_ends_on_ch_4750thpart_96_of_internal_routine_name_ends_on_ch_4800thpart_97_of_internal_routine_name_ends_on_ch_4850thpart_98_of_internal_routine_name_ends_on_ch_4900thpart_99_of_internal_routine_name_ends_on_ch_4950thpart_00_of_internal_routine_name_ends_on_ch_5000th)
			io.put_new_line
				-- Qualified external routine name
			io.put_integer (Current.part_01_of_external_routine_name_ends_on_ch_0050thpart_02_of_external_routine_name_ends_on_ch_0100thpart_03_of_external_routine_name_ends_on_ch_0150thpart_04_of_external_routine_name_ends_on_ch_0200thpart_05_of_external_routine_name_ends_on_ch_0250thpart_06_of_external_routine_name_ends_on_ch_0300thpart_07_of_external_routine_name_ends_on_ch_0350thpart_08_of_external_routine_name_ends_on_ch_0400thpart_09_of_external_routine_name_ends_on_ch_0450thpart_10_of_external_routine_name_ends_on_ch_0500thpart_11_of_external_routine_name_ends_on_ch_0550thpart_12_of_external_routine_name_ends_on_ch_0600thpart_13_of_external_routine_name_ends_on_ch_0650thpart_14_of_external_routine_name_ends_on_ch_0700thpart_15_of_external_routine_name_ends_on_ch_0750thpart_16_of_external_routine_name_ends_on_ch_0800thpart_17_of_external_routine_name_ends_on_ch_0850thpart_18_of_external_routine_name_ends_on_ch_0900thpart_19_of_external_routine_name_ends_on_ch_0950thpart_20_of_external_routine_name_ends_on_ch_1000thpart_21_of_external_routine_name_ends_on_ch_1050thpart_22_of_external_routine_name_ends_on_ch_1100thpart_23_of_external_routine_name_ends_on_ch_1150thpart_24_of_external_routine_name_ends_on_ch_1200thpart_25_of_external_routine_name_ends_on_ch_1250thpart_26_of_external_routine_name_ends_on_ch_1300thpart_27_of_external_routine_name_ends_on_ch_1350thpart_28_of_external_routine_name_ends_on_ch_1400thpart_29_of_external_routine_name_ends_on_ch_1450thpart_30_of_external_routine_name_ends_on_ch_1500thpart_31_of_external_routine_name_ends_on_ch_1550thpart_32_of_external_routine_name_ends_on_ch_1600thpart_33_of_external_routine_name_ends_on_ch_1650thpart_34_of_external_routine_name_ends_on_ch_1700thpart_35_of_external_routine_name_ends_on_ch_1750thpart_36_of_external_routine_name_ends_on_ch_1800thpart_37_of_external_routine_name_ends_on_ch_1850thpart_38_of_external_routine_name_ends_on_ch_1900thpart_39_of_external_routine_name_ends_on_ch_1950thpart_40_of_external_routine_name_ends_on_ch_2000thpart_41_of_external_routine_name_ends_on_ch_2050thpart_42_of_external_routine_name_ends_on_ch_2100thpart_43_of_external_routine_name_ends_on_ch_2150thpart_44_of_external_routine_name_ends_on_ch_2200thpart_45_of_external_routine_name_ends_on_ch_2250thpart_46_of_external_routine_name_ends_on_ch_2300thpart_47_of_external_routine_name_ends_on_ch_2350thpart_48_of_external_routine_name_ends_on_ch_2400thpart_49_of_external_routine_name_ends_on_ch_2450thpart_50_of_external_routine_name_ends_on_ch_2500thpart_51_of_external_routine_name_ends_on_ch_2550thpart_52_of_external_routine_name_ends_on_ch_2600thpart_53_of_external_routine_name_ends_on_ch_2650thpart_54_of_external_routine_name_ends_on_ch_2700thpart_55_of_external_routine_name_ends_on_ch_2750thpart_56_of_external_routine_name_ends_on_ch_2800thpart_57_of_external_routine_name_ends_on_ch_2850thpart_58_of_external_routine_name_ends_on_ch_2900thpart_59_of_external_routine_name_ends_on_ch_2950thpart_60_of_external_routine_name_ends_on_ch_3000thpart_61_of_external_routine_name_ends_on_ch_3050thpart_62_of_external_routine_name_ends_on_ch_3100thpart_63_of_external_routine_name_ends_on_ch_3150thpart_64_of_external_routine_name_ends_on_ch_3200thpart_65_of_external_routine_name_ends_on_ch_3250thpart_66_of_external_routine_name_ends_on_ch_3300thpart_67_of_external_routine_name_ends_on_ch_3350thpart_68_of_external_routine_name_ends_on_ch_3400thpart_69_of_external_routine_name_ends_on_ch_3450thpart_70_of_external_routine_name_ends_on_ch_3500thpart_71_of_external_routine_name_ends_on_ch_3550thpart_72_of_external_routine_name_ends_on_ch_3600thpart_73_of_external_routine_name_ends_on_ch_3650thpart_74_of_external_routine_name_ends_on_ch_3700thpart_75_of_external_routine_name_ends_on_ch_3750thpart_76_of_external_routine_name_ends_on_ch_3800thpart_77_of_external_routine_name_ends_on_ch_3850thpart_78_of_external_routine_name_ends_on_ch_3900thpart_79_of_external_routine_name_ends_on_ch_3950thpart_80_of_external_routine_name_ends_on_ch_4000thpart_81_of_external_routine_name_ends_on_ch_4050thpart_82_of_external_routine_name_ends_on_ch_4100thpart_83_of_external_routine_name_ends_on_ch_4150thpart_84_of_external_routine_name_ends_on_ch_4200thpart_85_of_external_routine_name_ends_on_ch_4250thpart_86_of_external_routine_name_ends_on_ch_4300thpart_87_of_external_routine_name_ends_on_ch_4350thpart_88_of_external_routine_name_ends_on_ch_4400thpart_89_of_external_routine_name_ends_on_ch_4450thpart_90_of_external_routine_name_ends_on_ch_4500thpart_91_of_external_routine_name_ends_on_ch_4550thpart_92_of_external_routine_name_ends_on_ch_4600thpart_93_of_external_routine_name_ends_on_ch_4650thpart_94_of_external_routine_name_ends_on_ch_4700thpart_95_of_external_routine_name_ends_on_ch_4750thpart_96_of_external_routine_name_ends_on_ch_4800thpart_97_of_external_routine_name_ends_on_ch_4850thpart_98_of_external_routine_name_ends_on_ch_4900thpart_99_of_external_routine_name_ends_on_ch_4950thpart_00_of_external_routine_name_ends_on_ch_5000th)
			io.put_new_line

				-- Agent on attribute name: not supported
			-- q := agent part_01_of_attribute_name_ends_on_character_0050thpart_02_of_attribute_name_ends_on_character_0100thpart_03_of_attribute_name_ends_on_character_0150thpart_04_of_attribute_name_ends_on_character_0200thpart_05_of_attribute_name_ends_on_character_0250thpart_06_of_attribute_name_ends_on_character_0300thpart_07_of_attribute_name_ends_on_character_0350thpart_08_of_attribute_name_ends_on_character_0400thpart_09_of_attribute_name_ends_on_character_0450thpart_10_of_attribute_name_ends_on_character_0500thpart_11_of_attribute_name_ends_on_character_0550thpart_12_of_attribute_name_ends_on_character_0600thpart_13_of_attribute_name_ends_on_character_0650thpart_14_of_attribute_name_ends_on_character_0700thpart_15_of_attribute_name_ends_on_character_0750thpart_16_of_attribute_name_ends_on_character_0800thpart_17_of_attribute_name_ends_on_character_0850thpart_18_of_attribute_name_ends_on_character_0900thpart_19_of_attribute_name_ends_on_character_0950thpart_20_of_attribute_name_ends_on_character_1000thpart_21_of_attribute_name_ends_on_character_1050thpart_22_of_attribute_name_ends_on_character_1100thpart_23_of_attribute_name_ends_on_character_1150thpart_24_of_attribute_name_ends_on_character_1200thpart_25_of_attribute_name_ends_on_character_1250thpart_26_of_attribute_name_ends_on_character_1300thpart_27_of_attribute_name_ends_on_character_1350thpart_28_of_attribute_name_ends_on_character_1400thpart_29_of_attribute_name_ends_on_character_1450thpart_30_of_attribute_name_ends_on_character_1500thpart_31_of_attribute_name_ends_on_character_1550thpart_32_of_attribute_name_ends_on_character_1600thpart_33_of_attribute_name_ends_on_character_1650thpart_34_of_attribute_name_ends_on_character_1700thpart_35_of_attribute_name_ends_on_character_1750thpart_36_of_attribute_name_ends_on_character_1800thpart_37_of_attribute_name_ends_on_character_1850thpart_38_of_attribute_name_ends_on_character_1900thpart_39_of_attribute_name_ends_on_character_1950thpart_40_of_attribute_name_ends_on_character_2000thpart_41_of_attribute_name_ends_on_character_2050thpart_42_of_attribute_name_ends_on_character_2100thpart_43_of_attribute_name_ends_on_character_2150thpart_44_of_attribute_name_ends_on_character_2200thpart_45_of_attribute_name_ends_on_character_2250thpart_46_of_attribute_name_ends_on_character_2300thpart_47_of_attribute_name_ends_on_character_2350thpart_48_of_attribute_name_ends_on_character_2400thpart_49_of_attribute_name_ends_on_character_2450thpart_50_of_attribute_name_ends_on_character_2500thpart_51_of_attribute_name_ends_on_character_2550thpart_52_of_attribute_name_ends_on_character_2600thpart_53_of_attribute_name_ends_on_character_2650thpart_54_of_attribute_name_ends_on_character_2700thpart_55_of_attribute_name_ends_on_character_2750thpart_56_of_attribute_name_ends_on_character_2800thpart_57_of_attribute_name_ends_on_character_2850thpart_58_of_attribute_name_ends_on_character_2900thpart_59_of_attribute_name_ends_on_character_2950thpart_60_of_attribute_name_ends_on_character_3000thpart_61_of_attribute_name_ends_on_character_3050thpart_62_of_attribute_name_ends_on_character_3100thpart_63_of_attribute_name_ends_on_character_3150thpart_64_of_attribute_name_ends_on_character_3200thpart_65_of_attribute_name_ends_on_character_3250thpart_66_of_attribute_name_ends_on_character_3300thpart_67_of_attribute_name_ends_on_character_3350thpart_68_of_attribute_name_ends_on_character_3400thpart_69_of_attribute_name_ends_on_character_3450thpart_70_of_attribute_name_ends_on_character_3500thpart_71_of_attribute_name_ends_on_character_3550thpart_72_of_attribute_name_ends_on_character_3600thpart_73_of_attribute_name_ends_on_character_3650thpart_74_of_attribute_name_ends_on_character_3700thpart_75_of_attribute_name_ends_on_character_3750thpart_76_of_attribute_name_ends_on_character_3800thpart_77_of_attribute_name_ends_on_character_3850thpart_78_of_attribute_name_ends_on_character_3900thpart_79_of_attribute_name_ends_on_character_3950thpart_80_of_attribute_name_ends_on_character_4000thpart_81_of_attribute_name_ends_on_character_4050thpart_82_of_attribute_name_ends_on_character_4100thpart_83_of_attribute_name_ends_on_character_4150thpart_84_of_attribute_name_ends_on_character_4200thpart_85_of_attribute_name_ends_on_character_4250thpart_86_of_attribute_name_ends_on_character_4300thpart_87_of_attribute_name_ends_on_character_4350thpart_88_of_attribute_name_ends_on_character_4400thpart_89_of_attribute_name_ends_on_character_4450thpart_90_of_attribute_name_ends_on_character_4500thpart_91_of_attribute_name_ends_on_character_4550thpart_92_of_attribute_name_ends_on_character_4600thpart_93_of_attribute_name_ends_on_character_4650thpart_94_of_attribute_name_ends_on_character_4700thpart_95_of_attribute_name_ends_on_character_4750thpart_96_of_attribute_name_ends_on_character_4800thpart_97_of_attribute_name_ends_on_character_4850thpart_98_of_attribute_name_ends_on_character_4900thpart_99_of_attribute_name_ends_on_character_4950thpart_00_of_attribute_name_ends_on_character_5000th
			-- q.call (Void)
			-- io.put_integer (q.last_result)
			-- io.put_new_line
				-- Agent on internal routine name
			q := agent part_01_of_internal_routine_name_ends_on_ch_0050thpart_02_of_internal_routine_name_ends_on_ch_0100thpart_03_of_internal_routine_name_ends_on_ch_0150thpart_04_of_internal_routine_name_ends_on_ch_0200thpart_05_of_internal_routine_name_ends_on_ch_0250thpart_06_of_internal_routine_name_ends_on_ch_0300thpart_07_of_internal_routine_name_ends_on_ch_0350thpart_08_of_internal_routine_name_ends_on_ch_0400thpart_09_of_internal_routine_name_ends_on_ch_0450thpart_10_of_internal_routine_name_ends_on_ch_0500thpart_11_of_internal_routine_name_ends_on_ch_0550thpart_12_of_internal_routine_name_ends_on_ch_0600thpart_13_of_internal_routine_name_ends_on_ch_0650thpart_14_of_internal_routine_name_ends_on_ch_0700thpart_15_of_internal_routine_name_ends_on_ch_0750thpart_16_of_internal_routine_name_ends_on_ch_0800thpart_17_of_internal_routine_name_ends_on_ch_0850thpart_18_of_internal_routine_name_ends_on_ch_0900thpart_19_of_internal_routine_name_ends_on_ch_0950thpart_20_of_internal_routine_name_ends_on_ch_1000thpart_21_of_internal_routine_name_ends_on_ch_1050thpart_22_of_internal_routine_name_ends_on_ch_1100thpart_23_of_internal_routine_name_ends_on_ch_1150thpart_24_of_internal_routine_name_ends_on_ch_1200thpart_25_of_internal_routine_name_ends_on_ch_1250thpart_26_of_internal_routine_name_ends_on_ch_1300thpart_27_of_internal_routine_name_ends_on_ch_1350thpart_28_of_internal_routine_name_ends_on_ch_1400thpart_29_of_internal_routine_name_ends_on_ch_1450thpart_30_of_internal_routine_name_ends_on_ch_1500thpart_31_of_internal_routine_name_ends_on_ch_1550thpart_32_of_internal_routine_name_ends_on_ch_1600thpart_33_of_internal_routine_name_ends_on_ch_1650thpart_34_of_internal_routine_name_ends_on_ch_1700thpart_35_of_internal_routine_name_ends_on_ch_1750thpart_36_of_internal_routine_name_ends_on_ch_1800thpart_37_of_internal_routine_name_ends_on_ch_1850thpart_38_of_internal_routine_name_ends_on_ch_1900thpart_39_of_internal_routine_name_ends_on_ch_1950thpart_40_of_internal_routine_name_ends_on_ch_2000thpart_41_of_internal_routine_name_ends_on_ch_2050thpart_42_of_internal_routine_name_ends_on_ch_2100thpart_43_of_internal_routine_name_ends_on_ch_2150thpart_44_of_internal_routine_name_ends_on_ch_2200thpart_45_of_internal_routine_name_ends_on_ch_2250thpart_46_of_internal_routine_name_ends_on_ch_2300thpart_47_of_internal_routine_name_ends_on_ch_2350thpart_48_of_internal_routine_name_ends_on_ch_2400thpart_49_of_internal_routine_name_ends_on_ch_2450thpart_50_of_internal_routine_name_ends_on_ch_2500thpart_51_of_internal_routine_name_ends_on_ch_2550thpart_52_of_internal_routine_name_ends_on_ch_2600thpart_53_of_internal_routine_name_ends_on_ch_2650thpart_54_of_internal_routine_name_ends_on_ch_2700thpart_55_of_internal_routine_name_ends_on_ch_2750thpart_56_of_internal_routine_name_ends_on_ch_2800thpart_57_of_internal_routine_name_ends_on_ch_2850thpart_58_of_internal_routine_name_ends_on_ch_2900thpart_59_of_internal_routine_name_ends_on_ch_2950thpart_60_of_internal_routine_name_ends_on_ch_3000thpart_61_of_internal_routine_name_ends_on_ch_3050thpart_62_of_internal_routine_name_ends_on_ch_3100thpart_63_of_internal_routine_name_ends_on_ch_3150thpart_64_of_internal_routine_name_ends_on_ch_3200thpart_65_of_internal_routine_name_ends_on_ch_3250thpart_66_of_internal_routine_name_ends_on_ch_3300thpart_67_of_internal_routine_name_ends_on_ch_3350thpart_68_of_internal_routine_name_ends_on_ch_3400thpart_69_of_internal_routine_name_ends_on_ch_3450thpart_70_of_internal_routine_name_ends_on_ch_3500thpart_71_of_internal_routine_name_ends_on_ch_3550thpart_72_of_internal_routine_name_ends_on_ch_3600thpart_73_of_internal_routine_name_ends_on_ch_3650thpart_74_of_internal_routine_name_ends_on_ch_3700thpart_75_of_internal_routine_name_ends_on_ch_3750thpart_76_of_internal_routine_name_ends_on_ch_3800thpart_77_of_internal_routine_name_ends_on_ch_3850thpart_78_of_internal_routine_name_ends_on_ch_3900thpart_79_of_internal_routine_name_ends_on_ch_3950thpart_80_of_internal_routine_name_ends_on_ch_4000thpart_81_of_internal_routine_name_ends_on_ch_4050thpart_82_of_internal_routine_name_ends_on_ch_4100thpart_83_of_internal_routine_name_ends_on_ch_4150thpart_84_of_internal_routine_name_ends_on_ch_4200thpart_85_of_internal_routine_name_ends_on_ch_4250thpart_86_of_internal_routine_name_ends_on_ch_4300thpart_87_of_internal_routine_name_ends_on_ch_4350thpart_88_of_internal_routine_name_ends_on_ch_4400thpart_89_of_internal_routine_name_ends_on_ch_4450thpart_90_of_internal_routine_name_ends_on_ch_4500thpart_91_of_internal_routine_name_ends_on_ch_4550thpart_92_of_internal_routine_name_ends_on_ch_4600thpart_93_of_internal_routine_name_ends_on_ch_4650thpart_94_of_internal_routine_name_ends_on_ch_4700thpart_95_of_internal_routine_name_ends_on_ch_4750thpart_96_of_internal_routine_name_ends_on_ch_4800thpart_97_of_internal_routine_name_ends_on_ch_4850thpart_98_of_internal_routine_name_ends_on_ch_4900thpart_99_of_internal_routine_name_ends_on_ch_4950thpart_00_of_internal_routine_name_ends_on_ch_5000th
			q.call (Void)
			io.put_integer (q.last_result)
			io.put_new_line
				-- Agent on external routine name: not supported
			-- q := agent part_01_of_external_routine_name_ends_on_ch_0050thpart_02_of_external_routine_name_ends_on_ch_0100thpart_03_of_external_routine_name_ends_on_ch_0150thpart_04_of_external_routine_name_ends_on_ch_0200thpart_05_of_external_routine_name_ends_on_ch_0250thpart_06_of_external_routine_name_ends_on_ch_0300thpart_07_of_external_routine_name_ends_on_ch_0350thpart_08_of_external_routine_name_ends_on_ch_0400thpart_09_of_external_routine_name_ends_on_ch_0450thpart_10_of_external_routine_name_ends_on_ch_0500thpart_11_of_external_routine_name_ends_on_ch_0550thpart_12_of_external_routine_name_ends_on_ch_0600thpart_13_of_external_routine_name_ends_on_ch_0650thpart_14_of_external_routine_name_ends_on_ch_0700thpart_15_of_external_routine_name_ends_on_ch_0750thpart_16_of_external_routine_name_ends_on_ch_0800thpart_17_of_external_routine_name_ends_on_ch_0850thpart_18_of_external_routine_name_ends_on_ch_0900thpart_19_of_external_routine_name_ends_on_ch_0950thpart_20_of_external_routine_name_ends_on_ch_1000thpart_21_of_external_routine_name_ends_on_ch_1050thpart_22_of_external_routine_name_ends_on_ch_1100thpart_23_of_external_routine_name_ends_on_ch_1150thpart_24_of_external_routine_name_ends_on_ch_1200thpart_25_of_external_routine_name_ends_on_ch_1250thpart_26_of_external_routine_name_ends_on_ch_1300thpart_27_of_external_routine_name_ends_on_ch_1350thpart_28_of_external_routine_name_ends_on_ch_1400thpart_29_of_external_routine_name_ends_on_ch_1450thpart_30_of_external_routine_name_ends_on_ch_1500thpart_31_of_external_routine_name_ends_on_ch_1550thpart_32_of_external_routine_name_ends_on_ch_1600thpart_33_of_external_routine_name_ends_on_ch_1650thpart_34_of_external_routine_name_ends_on_ch_1700thpart_35_of_external_routine_name_ends_on_ch_1750thpart_36_of_external_routine_name_ends_on_ch_1800thpart_37_of_external_routine_name_ends_on_ch_1850thpart_38_of_external_routine_name_ends_on_ch_1900thpart_39_of_external_routine_name_ends_on_ch_1950thpart_40_of_external_routine_name_ends_on_ch_2000thpart_41_of_external_routine_name_ends_on_ch_2050thpart_42_of_external_routine_name_ends_on_ch_2100thpart_43_of_external_routine_name_ends_on_ch_2150thpart_44_of_external_routine_name_ends_on_ch_2200thpart_45_of_external_routine_name_ends_on_ch_2250thpart_46_of_external_routine_name_ends_on_ch_2300thpart_47_of_external_routine_name_ends_on_ch_2350thpart_48_of_external_routine_name_ends_on_ch_2400thpart_49_of_external_routine_name_ends_on_ch_2450thpart_50_of_external_routine_name_ends_on_ch_2500thpart_51_of_external_routine_name_ends_on_ch_2550thpart_52_of_external_routine_name_ends_on_ch_2600thpart_53_of_external_routine_name_ends_on_ch_2650thpart_54_of_external_routine_name_ends_on_ch_2700thpart_55_of_external_routine_name_ends_on_ch_2750thpart_56_of_external_routine_name_ends_on_ch_2800thpart_57_of_external_routine_name_ends_on_ch_2850thpart_58_of_external_routine_name_ends_on_ch_2900thpart_59_of_external_routine_name_ends_on_ch_2950thpart_60_of_external_routine_name_ends_on_ch_3000thpart_61_of_external_routine_name_ends_on_ch_3050thpart_62_of_external_routine_name_ends_on_ch_3100thpart_63_of_external_routine_name_ends_on_ch_3150thpart_64_of_external_routine_name_ends_on_ch_3200thpart_65_of_external_routine_name_ends_on_ch_3250thpart_66_of_external_routine_name_ends_on_ch_3300thpart_67_of_external_routine_name_ends_on_ch_3350thpart_68_of_external_routine_name_ends_on_ch_3400thpart_69_of_external_routine_name_ends_on_ch_3450thpart_70_of_external_routine_name_ends_on_ch_3500thpart_71_of_external_routine_name_ends_on_ch_3550thpart_72_of_external_routine_name_ends_on_ch_3600thpart_73_of_external_routine_name_ends_on_ch_3650thpart_74_of_external_routine_name_ends_on_ch_3700thpart_75_of_external_routine_name_ends_on_ch_3750thpart_76_of_external_routine_name_ends_on_ch_3800thpart_77_of_external_routine_name_ends_on_ch_3850thpart_78_of_external_routine_name_ends_on_ch_3900thpart_79_of_external_routine_name_ends_on_ch_3950thpart_80_of_external_routine_name_ends_on_ch_4000thpart_81_of_external_routine_name_ends_on_ch_4050thpart_82_of_external_routine_name_ends_on_ch_4100thpart_83_of_external_routine_name_ends_on_ch_4150thpart_84_of_external_routine_name_ends_on_ch_4200thpart_85_of_external_routine_name_ends_on_ch_4250thpart_86_of_external_routine_name_ends_on_ch_4300thpart_87_of_external_routine_name_ends_on_ch_4350thpart_88_of_external_routine_name_ends_on_ch_4400thpart_89_of_external_routine_name_ends_on_ch_4450thpart_90_of_external_routine_name_ends_on_ch_4500thpart_91_of_external_routine_name_ends_on_ch_4550thpart_92_of_external_routine_name_ends_on_ch_4600thpart_93_of_external_routine_name_ends_on_ch_4650thpart_94_of_external_routine_name_ends_on_ch_4700thpart_95_of_external_routine_name_ends_on_ch_4750thpart_96_of_external_routine_name_ends_on_ch_4800thpart_97_of_external_routine_name_ends_on_ch_4850thpart_98_of_external_routine_name_ends_on_ch_4900thpart_99_of_external_routine_name_ends_on_ch_4950thpart_00_of_external_routine_name_ends_on_ch_5000th
			-- q.call (Void)
			-- io.put_integer (q.last_result)
			-- io.put_new_line

				-- Address on attribute name
			io.put_boolean (default_pointer.is_equal ($part_01_of_attribute_name_ends_on_character_0050thpart_02_of_attribute_name_ends_on_character_0100thpart_03_of_attribute_name_ends_on_character_0150thpart_04_of_attribute_name_ends_on_character_0200thpart_05_of_attribute_name_ends_on_character_0250thpart_06_of_attribute_name_ends_on_character_0300thpart_07_of_attribute_name_ends_on_character_0350thpart_08_of_attribute_name_ends_on_character_0400thpart_09_of_attribute_name_ends_on_character_0450thpart_10_of_attribute_name_ends_on_character_0500thpart_11_of_attribute_name_ends_on_character_0550thpart_12_of_attribute_name_ends_on_character_0600thpart_13_of_attribute_name_ends_on_character_0650thpart_14_of_attribute_name_ends_on_character_0700thpart_15_of_attribute_name_ends_on_character_0750thpart_16_of_attribute_name_ends_on_character_0800thpart_17_of_attribute_name_ends_on_character_0850thpart_18_of_attribute_name_ends_on_character_0900thpart_19_of_attribute_name_ends_on_character_0950thpart_20_of_attribute_name_ends_on_character_1000thpart_21_of_attribute_name_ends_on_character_1050thpart_22_of_attribute_name_ends_on_character_1100thpart_23_of_attribute_name_ends_on_character_1150thpart_24_of_attribute_name_ends_on_character_1200thpart_25_of_attribute_name_ends_on_character_1250thpart_26_of_attribute_name_ends_on_character_1300thpart_27_of_attribute_name_ends_on_character_1350thpart_28_of_attribute_name_ends_on_character_1400thpart_29_of_attribute_name_ends_on_character_1450thpart_30_of_attribute_name_ends_on_character_1500thpart_31_of_attribute_name_ends_on_character_1550thpart_32_of_attribute_name_ends_on_character_1600thpart_33_of_attribute_name_ends_on_character_1650thpart_34_of_attribute_name_ends_on_character_1700thpart_35_of_attribute_name_ends_on_character_1750thpart_36_of_attribute_name_ends_on_character_1800thpart_37_of_attribute_name_ends_on_character_1850thpart_38_of_attribute_name_ends_on_character_1900thpart_39_of_attribute_name_ends_on_character_1950thpart_40_of_attribute_name_ends_on_character_2000thpart_41_of_attribute_name_ends_on_character_2050thpart_42_of_attribute_name_ends_on_character_2100thpart_43_of_attribute_name_ends_on_character_2150thpart_44_of_attribute_name_ends_on_character_2200thpart_45_of_attribute_name_ends_on_character_2250thpart_46_of_attribute_name_ends_on_character_2300thpart_47_of_attribute_name_ends_on_character_2350thpart_48_of_attribute_name_ends_on_character_2400thpart_49_of_attribute_name_ends_on_character_2450thpart_50_of_attribute_name_ends_on_character_2500thpart_51_of_attribute_name_ends_on_character_2550thpart_52_of_attribute_name_ends_on_character_2600thpart_53_of_attribute_name_ends_on_character_2650thpart_54_of_attribute_name_ends_on_character_2700thpart_55_of_attribute_name_ends_on_character_2750thpart_56_of_attribute_name_ends_on_character_2800thpart_57_of_attribute_name_ends_on_character_2850thpart_58_of_attribute_name_ends_on_character_2900thpart_59_of_attribute_name_ends_on_character_2950thpart_60_of_attribute_name_ends_on_character_3000thpart_61_of_attribute_name_ends_on_character_3050thpart_62_of_attribute_name_ends_on_character_3100thpart_63_of_attribute_name_ends_on_character_3150thpart_64_of_attribute_name_ends_on_character_3200thpart_65_of_attribute_name_ends_on_character_3250thpart_66_of_attribute_name_ends_on_character_3300thpart_67_of_attribute_name_ends_on_character_3350thpart_68_of_attribute_name_ends_on_character_3400thpart_69_of_attribute_name_ends_on_character_3450thpart_70_of_attribute_name_ends_on_character_3500thpart_71_of_attribute_name_ends_on_character_3550thpart_72_of_attribute_name_ends_on_character_3600thpart_73_of_attribute_name_ends_on_character_3650thpart_74_of_attribute_name_ends_on_character_3700thpart_75_of_attribute_name_ends_on_character_3750thpart_76_of_attribute_name_ends_on_character_3800thpart_77_of_attribute_name_ends_on_character_3850thpart_78_of_attribute_name_ends_on_character_3900thpart_79_of_attribute_name_ends_on_character_3950thpart_80_of_attribute_name_ends_on_character_4000thpart_81_of_attribute_name_ends_on_character_4050thpart_82_of_attribute_name_ends_on_character_4100thpart_83_of_attribute_name_ends_on_character_4150thpart_84_of_attribute_name_ends_on_character_4200thpart_85_of_attribute_name_ends_on_character_4250thpart_86_of_attribute_name_ends_on_character_4300thpart_87_of_attribute_name_ends_on_character_4350thpart_88_of_attribute_name_ends_on_character_4400thpart_89_of_attribute_name_ends_on_character_4450thpart_90_of_attribute_name_ends_on_character_4500thpart_91_of_attribute_name_ends_on_character_4550thpart_92_of_attribute_name_ends_on_character_4600thpart_93_of_attribute_name_ends_on_character_4650thpart_94_of_attribute_name_ends_on_character_4700thpart_95_of_attribute_name_ends_on_character_4750thpart_96_of_attribute_name_ends_on_character_4800thpart_97_of_attribute_name_ends_on_character_4850thpart_98_of_attribute_name_ends_on_character_4900thpart_99_of_attribute_name_ends_on_character_4950thpart_00_of_attribute_name_ends_on_character_5000th))
			io.put_new_line
				-- Address on internal routine name
			io.put_boolean (default_pointer.is_equal ($part_01_of_internal_routine_name_ends_on_ch_0050thpart_02_of_internal_routine_name_ends_on_ch_0100thpart_03_of_internal_routine_name_ends_on_ch_0150thpart_04_of_internal_routine_name_ends_on_ch_0200thpart_05_of_internal_routine_name_ends_on_ch_0250thpart_06_of_internal_routine_name_ends_on_ch_0300thpart_07_of_internal_routine_name_ends_on_ch_0350thpart_08_of_internal_routine_name_ends_on_ch_0400thpart_09_of_internal_routine_name_ends_on_ch_0450thpart_10_of_internal_routine_name_ends_on_ch_0500thpart_11_of_internal_routine_name_ends_on_ch_0550thpart_12_of_internal_routine_name_ends_on_ch_0600thpart_13_of_internal_routine_name_ends_on_ch_0650thpart_14_of_internal_routine_name_ends_on_ch_0700thpart_15_of_internal_routine_name_ends_on_ch_0750thpart_16_of_internal_routine_name_ends_on_ch_0800thpart_17_of_internal_routine_name_ends_on_ch_0850thpart_18_of_internal_routine_name_ends_on_ch_0900thpart_19_of_internal_routine_name_ends_on_ch_0950thpart_20_of_internal_routine_name_ends_on_ch_1000thpart_21_of_internal_routine_name_ends_on_ch_1050thpart_22_of_internal_routine_name_ends_on_ch_1100thpart_23_of_internal_routine_name_ends_on_ch_1150thpart_24_of_internal_routine_name_ends_on_ch_1200thpart_25_of_internal_routine_name_ends_on_ch_1250thpart_26_of_internal_routine_name_ends_on_ch_1300thpart_27_of_internal_routine_name_ends_on_ch_1350thpart_28_of_internal_routine_name_ends_on_ch_1400thpart_29_of_internal_routine_name_ends_on_ch_1450thpart_30_of_internal_routine_name_ends_on_ch_1500thpart_31_of_internal_routine_name_ends_on_ch_1550thpart_32_of_internal_routine_name_ends_on_ch_1600thpart_33_of_internal_routine_name_ends_on_ch_1650thpart_34_of_internal_routine_name_ends_on_ch_1700thpart_35_of_internal_routine_name_ends_on_ch_1750thpart_36_of_internal_routine_name_ends_on_ch_1800thpart_37_of_internal_routine_name_ends_on_ch_1850thpart_38_of_internal_routine_name_ends_on_ch_1900thpart_39_of_internal_routine_name_ends_on_ch_1950thpart_40_of_internal_routine_name_ends_on_ch_2000thpart_41_of_internal_routine_name_ends_on_ch_2050thpart_42_of_internal_routine_name_ends_on_ch_2100thpart_43_of_internal_routine_name_ends_on_ch_2150thpart_44_of_internal_routine_name_ends_on_ch_2200thpart_45_of_internal_routine_name_ends_on_ch_2250thpart_46_of_internal_routine_name_ends_on_ch_2300thpart_47_of_internal_routine_name_ends_on_ch_2350thpart_48_of_internal_routine_name_ends_on_ch_2400thpart_49_of_internal_routine_name_ends_on_ch_2450thpart_50_of_internal_routine_name_ends_on_ch_2500thpart_51_of_internal_routine_name_ends_on_ch_2550thpart_52_of_internal_routine_name_ends_on_ch_2600thpart_53_of_internal_routine_name_ends_on_ch_2650thpart_54_of_internal_routine_name_ends_on_ch_2700thpart_55_of_internal_routine_name_ends_on_ch_2750thpart_56_of_internal_routine_name_ends_on_ch_2800thpart_57_of_internal_routine_name_ends_on_ch_2850thpart_58_of_internal_routine_name_ends_on_ch_2900thpart_59_of_internal_routine_name_ends_on_ch_2950thpart_60_of_internal_routine_name_ends_on_ch_3000thpart_61_of_internal_routine_name_ends_on_ch_3050thpart_62_of_internal_routine_name_ends_on_ch_3100thpart_63_of_internal_routine_name_ends_on_ch_3150thpart_64_of_internal_routine_name_ends_on_ch_3200thpart_65_of_internal_routine_name_ends_on_ch_3250thpart_66_of_internal_routine_name_ends_on_ch_3300thpart_67_of_internal_routine_name_ends_on_ch_3350thpart_68_of_internal_routine_name_ends_on_ch_3400thpart_69_of_internal_routine_name_ends_on_ch_3450thpart_70_of_internal_routine_name_ends_on_ch_3500thpart_71_of_internal_routine_name_ends_on_ch_3550thpart_72_of_internal_routine_name_ends_on_ch_3600thpart_73_of_internal_routine_name_ends_on_ch_3650thpart_74_of_internal_routine_name_ends_on_ch_3700thpart_75_of_internal_routine_name_ends_on_ch_3750thpart_76_of_internal_routine_name_ends_on_ch_3800thpart_77_of_internal_routine_name_ends_on_ch_3850thpart_78_of_internal_routine_name_ends_on_ch_3900thpart_79_of_internal_routine_name_ends_on_ch_3950thpart_80_of_internal_routine_name_ends_on_ch_4000thpart_81_of_internal_routine_name_ends_on_ch_4050thpart_82_of_internal_routine_name_ends_on_ch_4100thpart_83_of_internal_routine_name_ends_on_ch_4150thpart_84_of_internal_routine_name_ends_on_ch_4200thpart_85_of_internal_routine_name_ends_on_ch_4250thpart_86_of_internal_routine_name_ends_on_ch_4300thpart_87_of_internal_routine_name_ends_on_ch_4350thpart_88_of_internal_routine_name_ends_on_ch_4400thpart_89_of_internal_routine_name_ends_on_ch_4450thpart_90_of_internal_routine_name_ends_on_ch_4500thpart_91_of_internal_routine_name_ends_on_ch_4550thpart_92_of_internal_routine_name_ends_on_ch_4600thpart_93_of_internal_routine_name_ends_on_ch_4650thpart_94_of_internal_routine_name_ends_on_ch_4700thpart_95_of_internal_routine_name_ends_on_ch_4750thpart_96_of_internal_routine_name_ends_on_ch_4800thpart_97_of_internal_routine_name_ends_on_ch_4850thpart_98_of_internal_routine_name_ends_on_ch_4900thpart_99_of_internal_routine_name_ends_on_ch_4950thpart_00_of_internal_routine_name_ends_on_ch_5000th))
			io.put_new_line
				-- Address on external routine name: not supported
			-- io.put_boolean (default_pointer.is_equal ($part_01_of_external_routine_name_ends_on_ch_0050thpart_02_of_external_routine_name_ends_on_ch_0100thpart_03_of_external_routine_name_ends_on_ch_0150thpart_04_of_external_routine_name_ends_on_ch_0200thpart_05_of_external_routine_name_ends_on_ch_0250thpart_06_of_external_routine_name_ends_on_ch_0300thpart_07_of_external_routine_name_ends_on_ch_0350thpart_08_of_external_routine_name_ends_on_ch_0400thpart_09_of_external_routine_name_ends_on_ch_0450thpart_10_of_external_routine_name_ends_on_ch_0500thpart_11_of_external_routine_name_ends_on_ch_0550thpart_12_of_external_routine_name_ends_on_ch_0600thpart_13_of_external_routine_name_ends_on_ch_0650thpart_14_of_external_routine_name_ends_on_ch_0700thpart_15_of_external_routine_name_ends_on_ch_0750thpart_16_of_external_routine_name_ends_on_ch_0800thpart_17_of_external_routine_name_ends_on_ch_0850thpart_18_of_external_routine_name_ends_on_ch_0900thpart_19_of_external_routine_name_ends_on_ch_0950thpart_20_of_external_routine_name_ends_on_ch_1000thpart_21_of_external_routine_name_ends_on_ch_1050thpart_22_of_external_routine_name_ends_on_ch_1100thpart_23_of_external_routine_name_ends_on_ch_1150thpart_24_of_external_routine_name_ends_on_ch_1200thpart_25_of_external_routine_name_ends_on_ch_1250thpart_26_of_external_routine_name_ends_on_ch_1300thpart_27_of_external_routine_name_ends_on_ch_1350thpart_28_of_external_routine_name_ends_on_ch_1400thpart_29_of_external_routine_name_ends_on_ch_1450thpart_30_of_external_routine_name_ends_on_ch_1500thpart_31_of_external_routine_name_ends_on_ch_1550thpart_32_of_external_routine_name_ends_on_ch_1600thpart_33_of_external_routine_name_ends_on_ch_1650thpart_34_of_external_routine_name_ends_on_ch_1700thpart_35_of_external_routine_name_ends_on_ch_1750thpart_36_of_external_routine_name_ends_on_ch_1800thpart_37_of_external_routine_name_ends_on_ch_1850thpart_38_of_external_routine_name_ends_on_ch_1900thpart_39_of_external_routine_name_ends_on_ch_1950thpart_40_of_external_routine_name_ends_on_ch_2000thpart_41_of_external_routine_name_ends_on_ch_2050thpart_42_of_external_routine_name_ends_on_ch_2100thpart_43_of_external_routine_name_ends_on_ch_2150thpart_44_of_external_routine_name_ends_on_ch_2200thpart_45_of_external_routine_name_ends_on_ch_2250thpart_46_of_external_routine_name_ends_on_ch_2300thpart_47_of_external_routine_name_ends_on_ch_2350thpart_48_of_external_routine_name_ends_on_ch_2400thpart_49_of_external_routine_name_ends_on_ch_2450thpart_50_of_external_routine_name_ends_on_ch_2500thpart_51_of_external_routine_name_ends_on_ch_2550thpart_52_of_external_routine_name_ends_on_ch_2600thpart_53_of_external_routine_name_ends_on_ch_2650thpart_54_of_external_routine_name_ends_on_ch_2700thpart_55_of_external_routine_name_ends_on_ch_2750thpart_56_of_external_routine_name_ends_on_ch_2800thpart_57_of_external_routine_name_ends_on_ch_2850thpart_58_of_external_routine_name_ends_on_ch_2900thpart_59_of_external_routine_name_ends_on_ch_2950thpart_60_of_external_routine_name_ends_on_ch_3000thpart_61_of_external_routine_name_ends_on_ch_3050thpart_62_of_external_routine_name_ends_on_ch_3100thpart_63_of_external_routine_name_ends_on_ch_3150thpart_64_of_external_routine_name_ends_on_ch_3200thpart_65_of_external_routine_name_ends_on_ch_3250thpart_66_of_external_routine_name_ends_on_ch_3300thpart_67_of_external_routine_name_ends_on_ch_3350thpart_68_of_external_routine_name_ends_on_ch_3400thpart_69_of_external_routine_name_ends_on_ch_3450thpart_70_of_external_routine_name_ends_on_ch_3500thpart_71_of_external_routine_name_ends_on_ch_3550thpart_72_of_external_routine_name_ends_on_ch_3600thpart_73_of_external_routine_name_ends_on_ch_3650thpart_74_of_external_routine_name_ends_on_ch_3700thpart_75_of_external_routine_name_ends_on_ch_3750thpart_76_of_external_routine_name_ends_on_ch_3800thpart_77_of_external_routine_name_ends_on_ch_3850thpart_78_of_external_routine_name_ends_on_ch_3900thpart_79_of_external_routine_name_ends_on_ch_3950thpart_80_of_external_routine_name_ends_on_ch_4000thpart_81_of_external_routine_name_ends_on_ch_4050thpart_82_of_external_routine_name_ends_on_ch_4100thpart_83_of_external_routine_name_ends_on_ch_4150thpart_84_of_external_routine_name_ends_on_ch_4200thpart_85_of_external_routine_name_ends_on_ch_4250thpart_86_of_external_routine_name_ends_on_ch_4300thpart_87_of_external_routine_name_ends_on_ch_4350thpart_88_of_external_routine_name_ends_on_ch_4400thpart_89_of_external_routine_name_ends_on_ch_4450thpart_90_of_external_routine_name_ends_on_ch_4500thpart_91_of_external_routine_name_ends_on_ch_4550thpart_92_of_external_routine_name_ends_on_ch_4600thpart_93_of_external_routine_name_ends_on_ch_4650thpart_94_of_external_routine_name_ends_on_ch_4700thpart_95_of_external_routine_name_ends_on_ch_4750thpart_96_of_external_routine_name_ends_on_ch_4800thpart_97_of_external_routine_name_ends_on_ch_4850thpart_98_of_external_routine_name_ends_on_ch_4900thpart_99_of_external_routine_name_ends_on_ch_4950thpart_00_of_external_routine_name_ends_on_ch_5000th))
			-- io.put_new_line
		end

feature -- Tests

	s: STRING is "%
		%01. This line ends at 0050-th character of string.%
		%02. This line ends at 0100-th character of string.%
		%03. This line ends at 0150-th character of string.%
		%04. This line ends at 0200-th character of string.%
		%05. This line ends at 0250-th character of string.%
		%06. This line ends at 0300-th character of string.%
		%07. This line ends at 0350-th character of string.%
		%08. This line ends at 0400-th character of string.%
		%09. This line ends at 0450-th character of string.%
		%10. This line ends at 0500-th character of string.%
		%11. This line ends at 0550-th character of string.%
		%12. This line ends at 0600-th character of string.%
		%13. This line ends at 0650-th character of string.%
		%14. This line ends at 0700-th character of string.%
		%15. This line ends at 0750-th character of string.%
		%16. This line ends at 0800-th character of string.%
		%17. This line ends at 0850-th character of string.%
		%18. This line ends at 0900-th character of string.%
		%19. This line ends at 0950-th character of string.%
		%20. This line ends at 1000-th character of string.%
		%21. This line ends at 1050-th character of string.%
		%22. This line ends at 1100-th character of string.%
		%23. This line ends at 1150-th character of string.%
		%24. This line ends at 1200-th character of string.%
		%25. This line ends at 1250-th character of string.%
		%26. This line ends at 1300-th character of string.%
		%27. This line ends at 1350-th character of string.%
		%28. This line ends at 1400-th character of string.%
		%29. This line ends at 1450-th character of string.%
		%30. This line ends at 1500-th character of string.%
		%31. This line ends at 1550-th character of string.%
		%32. This line ends at 1600-th character of string.%
		%33. This line ends at 1650-th character of string.%
		%34. This line ends at 1700-th character of string.%
		%35. This line ends at 1750-th character of string.%
		%36. This line ends at 1800-th character of string.%
		%37. This line ends at 1850-th character of string.%
		%38. This line ends at 1900-th character of string.%
		%39. This line ends at 1950-th character of string.%
		%40. This line ends at 2000-th character of string.%
		%41. This line ends at 2050-th character of string.%
		%42. This line ends at 2100-th character of string.%
		%43. This line ends at 2150-th character of string.%
		%44. This line ends at 2200-th character of string.%
		%45. This line ends at 2250-th character of string.%
		%46. This line ends at 2300-th character of string.%
		%47. This line ends at 2350-th character of string.%
		%48. This line ends at 2400-th character of string.%
		%49. This line ends at 2450-th character of string.%
		%50. This line ends at 2500-th character of string.%
		%51. This line ends at 2550-th character of string.%
		%52. This line ends at 2600-th character of string.%
		%53. This line ends at 2650-th character of string.%
		%54. This line ends at 2700-th character of string.%
		%55. This line ends at 2750-th character of string.%
		%56. This line ends at 2800-th character of string.%
		%57. This line ends at 2850-th character of string.%
		%58. This line ends at 2900-th character of string.%
		%59. This line ends at 2950-th character of string.%
		%60. This line ends at 3000-th character of string.%
		%61. This line ends at 3050-th character of string.%
		%62. This line ends at 3100-th character of string.%
		%63. This line ends at 3150-th character of string.%
		%64. This line ends at 3200-th character of string.%
		%65. This line ends at 3250-th character of string.%
		%66. This line ends at 3300-th character of string.%
		%67. This line ends at 3350-th character of string.%
		%68. This line ends at 3400-th character of string.%
		%69. This line ends at 3450-th character of string.%
		%70. This line ends at 3500-th character of string.%
		%71. This line ends at 3550-th character of string.%
		%72. This line ends at 3600-th character of string.%
		%73. This line ends at 3650-th character of string.%
		%74. This line ends at 3700-th character of string.%
		%75. This line ends at 3750-th character of string.%
		%76. This line ends at 3800-th character of string.%
		%77. This line ends at 3850-th character of string.%
		%78. This line ends at 3900-th character of string.%
		%79. This line ends at 3950-th character of string.%
		%80. This line ends at 4000-th character of string.%
		%81. This line ends at 4050-th character of string.%
		%82. This line ends at 4100-th character of string.%
		%83. This line ends at 4150-th character of string.%
		%84. This line ends at 4200-th character of string.%
		%85. This line ends at 4250-th character of string.%
		%86. This line ends at 4300-th character of string.%
		%87. This line ends at 4350-th character of string.%
		%88. This line ends at 4400-th character of string.%
		%89. This line ends at 4450-th character of string.%
		%90. This line ends at 4500-th character of string.%
		%91. This line ends at 4550-th character of string.%
		%92. This line ends at 4600-th character of string.%
		%93. This line ends at 4650-th character of string.%
		%94. This line ends at 4700-th character of string.%
		%95. This line ends at 4750-th character of string.%
		%96. This line ends at 4800-th character of string.%
		%97. This line ends at 4850-th character of string.%
		%98. This line ends at 4900-th character of string.%
		%99. This line ends at 4950-th character of string.%
		%00. This line ends at 5000-th character of string.%
		%"

	part_01_of_attribute_name_ends_on_character_0050thpart_02_of_attribute_name_ends_on_character_0100thpart_03_of_attribute_name_ends_on_character_0150thpart_04_of_attribute_name_ends_on_character_0200thpart_05_of_attribute_name_ends_on_character_0250thpart_06_of_attribute_name_ends_on_character_0300thpart_07_of_attribute_name_ends_on_character_0350thpart_08_of_attribute_name_ends_on_character_0400thpart_09_of_attribute_name_ends_on_character_0450thpart_10_of_attribute_name_ends_on_character_0500thpart_11_of_attribute_name_ends_on_character_0550thpart_12_of_attribute_name_ends_on_character_0600thpart_13_of_attribute_name_ends_on_character_0650thpart_14_of_attribute_name_ends_on_character_0700thpart_15_of_attribute_name_ends_on_character_0750thpart_16_of_attribute_name_ends_on_character_0800thpart_17_of_attribute_name_ends_on_character_0850thpart_18_of_attribute_name_ends_on_character_0900thpart_19_of_attribute_name_ends_on_character_0950thpart_20_of_attribute_name_ends_on_character_1000thpart_21_of_attribute_name_ends_on_character_1050thpart_22_of_attribute_name_ends_on_character_1100thpart_23_of_attribute_name_ends_on_character_1150thpart_24_of_attribute_name_ends_on_character_1200thpart_25_of_attribute_name_ends_on_character_1250thpart_26_of_attribute_name_ends_on_character_1300thpart_27_of_attribute_name_ends_on_character_1350thpart_28_of_attribute_name_ends_on_character_1400thpart_29_of_attribute_name_ends_on_character_1450thpart_30_of_attribute_name_ends_on_character_1500thpart_31_of_attribute_name_ends_on_character_1550thpart_32_of_attribute_name_ends_on_character_1600thpart_33_of_attribute_name_ends_on_character_1650thpart_34_of_attribute_name_ends_on_character_1700thpart_35_of_attribute_name_ends_on_character_1750thpart_36_of_attribute_name_ends_on_character_1800thpart_37_of_attribute_name_ends_on_character_1850thpart_38_of_attribute_name_ends_on_character_1900thpart_39_of_attribute_name_ends_on_character_1950thpart_40_of_attribute_name_ends_on_character_2000thpart_41_of_attribute_name_ends_on_character_2050thpart_42_of_attribute_name_ends_on_character_2100thpart_43_of_attribute_name_ends_on_character_2150thpart_44_of_attribute_name_ends_on_character_2200thpart_45_of_attribute_name_ends_on_character_2250thpart_46_of_attribute_name_ends_on_character_2300thpart_47_of_attribute_name_ends_on_character_2350thpart_48_of_attribute_name_ends_on_character_2400thpart_49_of_attribute_name_ends_on_character_2450thpart_50_of_attribute_name_ends_on_character_2500thpart_51_of_attribute_name_ends_on_character_2550thpart_52_of_attribute_name_ends_on_character_2600thpart_53_of_attribute_name_ends_on_character_2650thpart_54_of_attribute_name_ends_on_character_2700thpart_55_of_attribute_name_ends_on_character_2750thpart_56_of_attribute_name_ends_on_character_2800thpart_57_of_attribute_name_ends_on_character_2850thpart_58_of_attribute_name_ends_on_character_2900thpart_59_of_attribute_name_ends_on_character_2950thpart_60_of_attribute_name_ends_on_character_3000thpart_61_of_attribute_name_ends_on_character_3050thpart_62_of_attribute_name_ends_on_character_3100thpart_63_of_attribute_name_ends_on_character_3150thpart_64_of_attribute_name_ends_on_character_3200thpart_65_of_attribute_name_ends_on_character_3250thpart_66_of_attribute_name_ends_on_character_3300thpart_67_of_attribute_name_ends_on_character_3350thpart_68_of_attribute_name_ends_on_character_3400thpart_69_of_attribute_name_ends_on_character_3450thpart_70_of_attribute_name_ends_on_character_3500thpart_71_of_attribute_name_ends_on_character_3550thpart_72_of_attribute_name_ends_on_character_3600thpart_73_of_attribute_name_ends_on_character_3650thpart_74_of_attribute_name_ends_on_character_3700thpart_75_of_attribute_name_ends_on_character_3750thpart_76_of_attribute_name_ends_on_character_3800thpart_77_of_attribute_name_ends_on_character_3850thpart_78_of_attribute_name_ends_on_character_3900thpart_79_of_attribute_name_ends_on_character_3950thpart_80_of_attribute_name_ends_on_character_4000thpart_81_of_attribute_name_ends_on_character_4050thpart_82_of_attribute_name_ends_on_character_4100thpart_83_of_attribute_name_ends_on_character_4150thpart_84_of_attribute_name_ends_on_character_4200thpart_85_of_attribute_name_ends_on_character_4250thpart_86_of_attribute_name_ends_on_character_4300thpart_87_of_attribute_name_ends_on_character_4350thpart_88_of_attribute_name_ends_on_character_4400thpart_89_of_attribute_name_ends_on_character_4450thpart_90_of_attribute_name_ends_on_character_4500thpart_91_of_attribute_name_ends_on_character_4550thpart_92_of_attribute_name_ends_on_character_4600thpart_93_of_attribute_name_ends_on_character_4650thpart_94_of_attribute_name_ends_on_character_4700thpart_95_of_attribute_name_ends_on_character_4750thpart_96_of_attribute_name_ends_on_character_4800thpart_97_of_attribute_name_ends_on_character_4850thpart_98_of_attribute_name_ends_on_character_4900thpart_99_of_attribute_name_ends_on_character_4950thpart_00_of_attribute_name_ends_on_character_5000th: ARRAY [STRING]
			-- Attribute should be a generic derivation to reproduce error

	part_01_of_internal_routine_name_ends_on_ch_0050thpart_02_of_internal_routine_name_ends_on_ch_0100thpart_03_of_internal_routine_name_ends_on_ch_0150thpart_04_of_internal_routine_name_ends_on_ch_0200thpart_05_of_internal_routine_name_ends_on_ch_0250thpart_06_of_internal_routine_name_ends_on_ch_0300thpart_07_of_internal_routine_name_ends_on_ch_0350thpart_08_of_internal_routine_name_ends_on_ch_0400thpart_09_of_internal_routine_name_ends_on_ch_0450thpart_10_of_internal_routine_name_ends_on_ch_0500thpart_11_of_internal_routine_name_ends_on_ch_0550thpart_12_of_internal_routine_name_ends_on_ch_0600thpart_13_of_internal_routine_name_ends_on_ch_0650thpart_14_of_internal_routine_name_ends_on_ch_0700thpart_15_of_internal_routine_name_ends_on_ch_0750thpart_16_of_internal_routine_name_ends_on_ch_0800thpart_17_of_internal_routine_name_ends_on_ch_0850thpart_18_of_internal_routine_name_ends_on_ch_0900thpart_19_of_internal_routine_name_ends_on_ch_0950thpart_20_of_internal_routine_name_ends_on_ch_1000thpart_21_of_internal_routine_name_ends_on_ch_1050thpart_22_of_internal_routine_name_ends_on_ch_1100thpart_23_of_internal_routine_name_ends_on_ch_1150thpart_24_of_internal_routine_name_ends_on_ch_1200thpart_25_of_internal_routine_name_ends_on_ch_1250thpart_26_of_internal_routine_name_ends_on_ch_1300thpart_27_of_internal_routine_name_ends_on_ch_1350thpart_28_of_internal_routine_name_ends_on_ch_1400thpart_29_of_internal_routine_name_ends_on_ch_1450thpart_30_of_internal_routine_name_ends_on_ch_1500thpart_31_of_internal_routine_name_ends_on_ch_1550thpart_32_of_internal_routine_name_ends_on_ch_1600thpart_33_of_internal_routine_name_ends_on_ch_1650thpart_34_of_internal_routine_name_ends_on_ch_1700thpart_35_of_internal_routine_name_ends_on_ch_1750thpart_36_of_internal_routine_name_ends_on_ch_1800thpart_37_of_internal_routine_name_ends_on_ch_1850thpart_38_of_internal_routine_name_ends_on_ch_1900thpart_39_of_internal_routine_name_ends_on_ch_1950thpart_40_of_internal_routine_name_ends_on_ch_2000thpart_41_of_internal_routine_name_ends_on_ch_2050thpart_42_of_internal_routine_name_ends_on_ch_2100thpart_43_of_internal_routine_name_ends_on_ch_2150thpart_44_of_internal_routine_name_ends_on_ch_2200thpart_45_of_internal_routine_name_ends_on_ch_2250thpart_46_of_internal_routine_name_ends_on_ch_2300thpart_47_of_internal_routine_name_ends_on_ch_2350thpart_48_of_internal_routine_name_ends_on_ch_2400thpart_49_of_internal_routine_name_ends_on_ch_2450thpart_50_of_internal_routine_name_ends_on_ch_2500thpart_51_of_internal_routine_name_ends_on_ch_2550thpart_52_of_internal_routine_name_ends_on_ch_2600thpart_53_of_internal_routine_name_ends_on_ch_2650thpart_54_of_internal_routine_name_ends_on_ch_2700thpart_55_of_internal_routine_name_ends_on_ch_2750thpart_56_of_internal_routine_name_ends_on_ch_2800thpart_57_of_internal_routine_name_ends_on_ch_2850thpart_58_of_internal_routine_name_ends_on_ch_2900thpart_59_of_internal_routine_name_ends_on_ch_2950thpart_60_of_internal_routine_name_ends_on_ch_3000thpart_61_of_internal_routine_name_ends_on_ch_3050thpart_62_of_internal_routine_name_ends_on_ch_3100thpart_63_of_internal_routine_name_ends_on_ch_3150thpart_64_of_internal_routine_name_ends_on_ch_3200thpart_65_of_internal_routine_name_ends_on_ch_3250thpart_66_of_internal_routine_name_ends_on_ch_3300thpart_67_of_internal_routine_name_ends_on_ch_3350thpart_68_of_internal_routine_name_ends_on_ch_3400thpart_69_of_internal_routine_name_ends_on_ch_3450thpart_70_of_internal_routine_name_ends_on_ch_3500thpart_71_of_internal_routine_name_ends_on_ch_3550thpart_72_of_internal_routine_name_ends_on_ch_3600thpart_73_of_internal_routine_name_ends_on_ch_3650thpart_74_of_internal_routine_name_ends_on_ch_3700thpart_75_of_internal_routine_name_ends_on_ch_3750thpart_76_of_internal_routine_name_ends_on_ch_3800thpart_77_of_internal_routine_name_ends_on_ch_3850thpart_78_of_internal_routine_name_ends_on_ch_3900thpart_79_of_internal_routine_name_ends_on_ch_3950thpart_80_of_internal_routine_name_ends_on_ch_4000thpart_81_of_internal_routine_name_ends_on_ch_4050thpart_82_of_internal_routine_name_ends_on_ch_4100thpart_83_of_internal_routine_name_ends_on_ch_4150thpart_84_of_internal_routine_name_ends_on_ch_4200thpart_85_of_internal_routine_name_ends_on_ch_4250thpart_86_of_internal_routine_name_ends_on_ch_4300thpart_87_of_internal_routine_name_ends_on_ch_4350thpart_88_of_internal_routine_name_ends_on_ch_4400thpart_89_of_internal_routine_name_ends_on_ch_4450thpart_90_of_internal_routine_name_ends_on_ch_4500thpart_91_of_internal_routine_name_ends_on_ch_4550thpart_92_of_internal_routine_name_ends_on_ch_4600thpart_93_of_internal_routine_name_ends_on_ch_4650thpart_94_of_internal_routine_name_ends_on_ch_4700thpart_95_of_internal_routine_name_ends_on_ch_4750thpart_96_of_internal_routine_name_ends_on_ch_4800thpart_97_of_internal_routine_name_ends_on_ch_4850thpart_98_of_internal_routine_name_ends_on_ch_4900thpart_99_of_internal_routine_name_ends_on_ch_4950thpart_00_of_internal_routine_name_ends_on_ch_5000th: INTEGER is
		do
			Result := 5000
		end

	part_01_of_external_routine_name_ends_on_ch_0050thpart_02_of_external_routine_name_ends_on_ch_0100thpart_03_of_external_routine_name_ends_on_ch_0150thpart_04_of_external_routine_name_ends_on_ch_0200thpart_05_of_external_routine_name_ends_on_ch_0250thpart_06_of_external_routine_name_ends_on_ch_0300thpart_07_of_external_routine_name_ends_on_ch_0350thpart_08_of_external_routine_name_ends_on_ch_0400thpart_09_of_external_routine_name_ends_on_ch_0450thpart_10_of_external_routine_name_ends_on_ch_0500thpart_11_of_external_routine_name_ends_on_ch_0550thpart_12_of_external_routine_name_ends_on_ch_0600thpart_13_of_external_routine_name_ends_on_ch_0650thpart_14_of_external_routine_name_ends_on_ch_0700thpart_15_of_external_routine_name_ends_on_ch_0750thpart_16_of_external_routine_name_ends_on_ch_0800thpart_17_of_external_routine_name_ends_on_ch_0850thpart_18_of_external_routine_name_ends_on_ch_0900thpart_19_of_external_routine_name_ends_on_ch_0950thpart_20_of_external_routine_name_ends_on_ch_1000thpart_21_of_external_routine_name_ends_on_ch_1050thpart_22_of_external_routine_name_ends_on_ch_1100thpart_23_of_external_routine_name_ends_on_ch_1150thpart_24_of_external_routine_name_ends_on_ch_1200thpart_25_of_external_routine_name_ends_on_ch_1250thpart_26_of_external_routine_name_ends_on_ch_1300thpart_27_of_external_routine_name_ends_on_ch_1350thpart_28_of_external_routine_name_ends_on_ch_1400thpart_29_of_external_routine_name_ends_on_ch_1450thpart_30_of_external_routine_name_ends_on_ch_1500thpart_31_of_external_routine_name_ends_on_ch_1550thpart_32_of_external_routine_name_ends_on_ch_1600thpart_33_of_external_routine_name_ends_on_ch_1650thpart_34_of_external_routine_name_ends_on_ch_1700thpart_35_of_external_routine_name_ends_on_ch_1750thpart_36_of_external_routine_name_ends_on_ch_1800thpart_37_of_external_routine_name_ends_on_ch_1850thpart_38_of_external_routine_name_ends_on_ch_1900thpart_39_of_external_routine_name_ends_on_ch_1950thpart_40_of_external_routine_name_ends_on_ch_2000thpart_41_of_external_routine_name_ends_on_ch_2050thpart_42_of_external_routine_name_ends_on_ch_2100thpart_43_of_external_routine_name_ends_on_ch_2150thpart_44_of_external_routine_name_ends_on_ch_2200thpart_45_of_external_routine_name_ends_on_ch_2250thpart_46_of_external_routine_name_ends_on_ch_2300thpart_47_of_external_routine_name_ends_on_ch_2350thpart_48_of_external_routine_name_ends_on_ch_2400thpart_49_of_external_routine_name_ends_on_ch_2450thpart_50_of_external_routine_name_ends_on_ch_2500thpart_51_of_external_routine_name_ends_on_ch_2550thpart_52_of_external_routine_name_ends_on_ch_2600thpart_53_of_external_routine_name_ends_on_ch_2650thpart_54_of_external_routine_name_ends_on_ch_2700thpart_55_of_external_routine_name_ends_on_ch_2750thpart_56_of_external_routine_name_ends_on_ch_2800thpart_57_of_external_routine_name_ends_on_ch_2850thpart_58_of_external_routine_name_ends_on_ch_2900thpart_59_of_external_routine_name_ends_on_ch_2950thpart_60_of_external_routine_name_ends_on_ch_3000thpart_61_of_external_routine_name_ends_on_ch_3050thpart_62_of_external_routine_name_ends_on_ch_3100thpart_63_of_external_routine_name_ends_on_ch_3150thpart_64_of_external_routine_name_ends_on_ch_3200thpart_65_of_external_routine_name_ends_on_ch_3250thpart_66_of_external_routine_name_ends_on_ch_3300thpart_67_of_external_routine_name_ends_on_ch_3350thpart_68_of_external_routine_name_ends_on_ch_3400thpart_69_of_external_routine_name_ends_on_ch_3450thpart_70_of_external_routine_name_ends_on_ch_3500thpart_71_of_external_routine_name_ends_on_ch_3550thpart_72_of_external_routine_name_ends_on_ch_3600thpart_73_of_external_routine_name_ends_on_ch_3650thpart_74_of_external_routine_name_ends_on_ch_3700thpart_75_of_external_routine_name_ends_on_ch_3750thpart_76_of_external_routine_name_ends_on_ch_3800thpart_77_of_external_routine_name_ends_on_ch_3850thpart_78_of_external_routine_name_ends_on_ch_3900thpart_79_of_external_routine_name_ends_on_ch_3950thpart_80_of_external_routine_name_ends_on_ch_4000thpart_81_of_external_routine_name_ends_on_ch_4050thpart_82_of_external_routine_name_ends_on_ch_4100thpart_83_of_external_routine_name_ends_on_ch_4150thpart_84_of_external_routine_name_ends_on_ch_4200thpart_85_of_external_routine_name_ends_on_ch_4250thpart_86_of_external_routine_name_ends_on_ch_4300thpart_87_of_external_routine_name_ends_on_ch_4350thpart_88_of_external_routine_name_ends_on_ch_4400thpart_89_of_external_routine_name_ends_on_ch_4450thpart_90_of_external_routine_name_ends_on_ch_4500thpart_91_of_external_routine_name_ends_on_ch_4550thpart_92_of_external_routine_name_ends_on_ch_4600thpart_93_of_external_routine_name_ends_on_ch_4650thpart_94_of_external_routine_name_ends_on_ch_4700thpart_95_of_external_routine_name_ends_on_ch_4750thpart_96_of_external_routine_name_ends_on_ch_4800thpart_97_of_external_routine_name_ends_on_ch_4850thpart_98_of_external_routine_name_ends_on_ch_4900thpart_99_of_external_routine_name_ends_on_ch_4950thpart_00_of_external_routine_name_ends_on_ch_5000th: INTEGER is
		external "C inline"
			alias "5000"
		end

feature -- Section 3: type names

	c: PART_01_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0050THPART_02_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0100THPART_03_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0150THPART_04_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0200THPART_05_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0250THPART_06_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0300THPART_07_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0350THPART_08_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0400THPART_09_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0450THPART_10_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0500THPART_11_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0550THPART_12_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0600THPART_13_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0650THPART_14_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0700THPART_15_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0750THPART_16_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0800THPART_17_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0850THPART_18_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0900THPART_19_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0950THPART_20_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1000THPART_21_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1050THPART_22_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1100THPART_23_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1150THPART_24_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1200THPART_25_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1250THPART_26_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1300THPART_27_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1350THPART_28_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1400THPART_29_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1450THPART_30_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1500THPART_31_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1550THPART_32_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1600THPART_33_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1650THPART_34_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1700THPART_35_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1750THPART_36_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1800THPART_37_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1850THPART_38_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1900THPART_39_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1950THPART_40_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2000THPART_41_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2050THPART_42_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2100THPART_43_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2150THPART_44_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2200THPART_45_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2250THPART_46_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2300THPART_47_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2350THPART_48_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2400THPART_49_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2450THPART_50_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2500THPART_51_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2550THPART_52_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2600THPART_53_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2650THPART_54_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2700THPART_55_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2750THPART_56_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2800THPART_57_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2850THPART_58_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2900THPART_59_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2950THPART_60_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3000THPART_61_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3050THPART_62_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3100THPART_63_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3150THPART_64_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3200THPART_65_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3250THPART_66_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3300THPART_67_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3350THPART_68_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3400THPART_69_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3450THPART_70_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3500THPART_71_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3550THPART_72_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3600THPART_73_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3650THPART_74_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3700THPART_75_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3750THPART_76_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3800THPART_77_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3850THPART_78_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3900THPART_79_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3950THPART_80_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4000THPART_81_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4050THPART_82_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4100THPART_83_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4150THPART_84_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4200THPART_85_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4250THPART_86_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4300THPART_87_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4350THPART_88_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4400THPART_89_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4450THPART_90_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4500THPART_91_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4550THPART_92_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4600THPART_93_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4650THPART_94_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4700THPART_95_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4750THPART_96_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4800THPART_97_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4850THPART_98_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4900THPART_99_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4950THPART_00_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_5000TH

end