home *** CD-ROM | disk | FTP | other *** search
/ Programmer's ROM - The Computer Language Library / programmersrom.iso / ada / piwg / z000153.ada < prev    next >
Encoding:
Text File  |  1988-05-03  |  31.0 KB  |  1,004 lines
  1. package z000153 is
  2.     type type_1 is private;
  3.     type type_2 is private;
  4.     type type_3 is private;
  5.     type type_4 is private;
  6.     type type_5 is private;
  7.     type type_6 is private;
  8.     type type_7 is private;
  9.     type type_8 is private;
  10.     type type_9 is private;
  11.     type type_10 is private;
  12.     type type_11 is private;
  13.     type type_12 is private;
  14.     type type_13 is private;
  15.     type type_14 is private;
  16.     type type_15 is private;
  17.     type type_16 is private;
  18.     type type_17 is private;
  19.     type type_18 is private;
  20.     type type_19 is private;
  21.     type type_20 is private;
  22.     type type_21 is private;
  23.     type type_22 is private;
  24.     type type_23 is private;
  25.     type type_24 is private;
  26.     type type_25 is private;
  27.     type type_26 is private;
  28.     type type_27 is private;
  29.     type type_28 is private;
  30.     type type_29 is private;
  31.     type type_30 is private;
  32.     type type_31 is private;
  33.     type type_32 is private;
  34.     type type_33 is private;
  35.     type type_34 is private;
  36.     type type_35 is private;
  37.     type type_36 is private;
  38.     type type_37 is private;
  39.     type type_38 is private;
  40.     type type_39 is private;
  41.     type type_40 is private;
  42.     type type_41 is private;
  43.     type type_42 is private;
  44.     type type_43 is private;
  45.     type type_44 is private;
  46.     type type_45 is private;
  47.     type type_46 is private;
  48.     type type_47 is private;
  49.     type type_48 is private;
  50.     type type_49 is private;
  51.     type type_50 is private;
  52.     type type_51 is private;
  53.     type type_52 is private;
  54.     type type_53 is private;
  55.     type type_54 is private;
  56.     type type_55 is private;
  57.     type type_56 is private;
  58.     type type_57 is private;
  59.     type type_58 is private;
  60.     type type_59 is private;
  61.     type type_60 is private;
  62.     type type_61 is private;
  63.     type type_62 is private;
  64.     type type_63 is private;
  65.     type type_64 is private;
  66.     type type_65 is private;
  67.     type type_66 is private;
  68.     type type_67 is private;
  69.     type type_68 is private;
  70.     type type_69 is private;
  71.     type type_70 is private;
  72.     type type_71 is private;
  73.     type type_72 is private;
  74.     type type_73 is private;
  75.     type type_74 is private;
  76.     type type_75 is private;
  77.     type type_76 is private;
  78.     type type_77 is private;
  79.     type type_78 is private;
  80.     type type_79 is private;
  81.     type type_80 is private;
  82.     type type_81 is private;
  83.     type type_82 is private;
  84.     type type_83 is private;
  85.     type type_84 is private;
  86.     type type_85 is private;
  87.     type type_86 is private;
  88.     type type_87 is private;
  89.     type type_88 is private;
  90.     type type_89 is private;
  91.     type type_90 is private;
  92.     type type_91 is private;
  93.     type type_92 is private;
  94.     type type_93 is private;
  95.     type type_94 is private;
  96.     type type_95 is private;
  97.     type type_96 is private;
  98.     type type_97 is private;
  99.     type type_98 is private;
  100.     type type_99 is private;
  101.     type type_100 is private;
  102.     type type_101 is private;
  103.     type type_102 is private;
  104.     type type_103 is private;
  105.     type type_104 is private;
  106.     type type_105 is private;
  107.     type type_106 is private;
  108.     type type_107 is private;
  109.     type type_108 is private;
  110.     type type_109 is private;
  111.     type type_110 is private;
  112.     type type_111 is private;
  113.     type type_112 is private;
  114.     type type_113 is private;
  115.     type type_114 is private;
  116.     type type_115 is private;
  117.     type type_116 is private;
  118.     type type_117 is private;
  119.     type type_118 is private;
  120.     type type_119 is private;
  121.     type type_120 is private;
  122.     type type_121 is private;
  123.     type type_122 is private;
  124.     type type_123 is private;
  125.     type type_124 is private;
  126.     type type_125 is private;
  127.     type type_126 is private;
  128.     type type_127 is private;
  129.     type type_128 is private;
  130.     type type_129 is private;
  131.     type type_130 is private;
  132.     type type_131 is private;
  133.     type type_132 is private;
  134.     type type_133 is private;
  135.     type type_134 is private;
  136.     type type_135 is private;
  137.     type type_136 is private;
  138.     type type_137 is private;
  139.     type type_138 is private;
  140.     type type_139 is private;
  141.     type type_140 is private;
  142.     type type_141 is private;
  143.     type type_142 is private;
  144.     type type_143 is private;
  145.     type type_144 is private;
  146.     type type_145 is private;
  147.     type type_146 is private;
  148.     type type_147 is private;
  149.     type type_148 is private;
  150.     type type_149 is private;
  151.     type type_150 is private;
  152.     type type_151 is private;
  153.     type type_152 is private;
  154.     type type_153 is private;
  155.     type type_154 is private;
  156.     type type_155 is private;
  157.     type type_156 is private;
  158.     type type_157 is private;
  159.     type type_158 is private;
  160.     type type_159 is private;
  161.     type type_160 is private;
  162.     type type_161 is private;
  163.     type type_162 is private;
  164.     type type_163 is private;
  165.     type type_164 is private;
  166.     type type_165 is private;
  167.     type type_166 is private;
  168.     type type_167 is private;
  169.     type type_168 is private;
  170.     type type_169 is private;
  171.     type type_170 is private;
  172.     type type_171 is private;
  173.     type type_172 is private;
  174.     type type_173 is private;
  175.     type type_174 is private;
  176.     type type_175 is private;
  177.     type type_176 is private;
  178.     type type_177 is private;
  179.     type type_178 is private;
  180.     type type_179 is private;
  181.     type type_180 is private;
  182.     type type_181 is private;
  183.     type type_182 is private;
  184.     type type_183 is private;
  185.     type type_184 is private;
  186.     type type_185 is private;
  187.     type type_186 is private;
  188.     type type_187 is private;
  189.     type type_188 is private;
  190.     type type_189 is private;
  191.     type type_190 is private;
  192.     type type_191 is private;
  193.     type type_192 is private;
  194.     type type_193 is private;
  195.     type type_194 is private;
  196.     type type_195 is private;
  197.     type type_196 is private;
  198.     type type_197 is private;
  199.     type type_198 is private;
  200.     type type_199 is private;
  201.     type type_200 is private;
  202.     type type_201 is private;
  203.     type type_202 is private;
  204.     type type_203 is private;
  205.     type type_204 is private;
  206.     type type_205 is private;
  207.     type type_206 is private;
  208.     type type_207 is private;
  209.     type type_208 is private;
  210.     type type_209 is private;
  211.     type type_210 is private;
  212.     type type_211 is private;
  213.     type type_212 is private;
  214.     type type_213 is private;
  215.     type type_214 is private;
  216.     type type_215 is private;
  217.     type type_216 is private;
  218.     type type_217 is private;
  219.     type type_218 is private;
  220.     type type_219 is private;
  221.     type type_220 is private;
  222.     type type_221 is private;
  223.     type type_222 is private;
  224.     type type_223 is private;
  225.     type type_224 is private;
  226.     type type_225 is private;
  227.     type type_226 is private;
  228.     type type_227 is private;
  229.     type type_228 is private;
  230.     type type_229 is private;
  231.     type type_230 is private;
  232.     type type_231 is private;
  233.     type type_232 is private;
  234.     type type_233 is private;
  235.     type type_234 is private;
  236.     type type_235 is private;
  237.     type type_236 is private;
  238.     type type_237 is private;
  239.     type type_238 is private;
  240.     type type_239 is private;
  241.     type type_240 is private;
  242.     type type_241 is private;
  243.     type type_242 is private;
  244.     type type_243 is private;
  245.     type type_244 is private;
  246.     type type_245 is private;
  247.     type type_246 is private;
  248.     type type_247 is private;
  249.     type type_248 is private;
  250.     type type_249 is private;
  251.     type type_250 is private;
  252.     type type_251 is private;
  253.     type type_252 is private;
  254.     type type_253 is private;
  255.     type type_254 is private;
  256.     type type_255 is private;
  257.     type type_256 is private;
  258.     type type_257 is private;
  259.     type type_258 is private;
  260.     type type_259 is private;
  261.     type type_260 is private;
  262.     type type_261 is private;
  263.     type type_262 is private;
  264.     type type_263 is private;
  265.     type type_264 is private;
  266.     type type_265 is private;
  267.     type type_266 is private;
  268.     type type_267 is private;
  269.     type type_268 is private;
  270.     type type_269 is private;
  271.     type type_270 is private;
  272.     type type_271 is private;
  273.     type type_272 is private;
  274.     type type_273 is private;
  275.     type type_274 is private;
  276.     type type_275 is private;
  277.     type type_276 is private;
  278.     type type_277 is private;
  279.     type type_278 is private;
  280.     type type_279 is private;
  281.     type type_280 is private;
  282.     type type_281 is private;
  283.     type type_282 is private;
  284.     type type_283 is private;
  285.     type type_284 is private;
  286.     type type_285 is private;
  287.     type type_286 is private;
  288.     type type_287 is private;
  289.     type type_288 is private;
  290.     type type_289 is private;
  291.     type type_290 is private;
  292.     type type_291 is private;
  293.     type type_292 is private;
  294.     type type_293 is private;
  295.     type type_294 is private;
  296.     type type_295 is private;
  297.     type type_296 is private;
  298.     type type_297 is private;
  299.     type type_298 is private;
  300.     type type_299 is private;
  301.     type type_300 is private;
  302.     type type_301 is private;
  303.     type type_302 is private;
  304.     type type_303 is private;
  305.     type type_304 is private;
  306.     type type_305 is private;
  307.     type type_306 is private;
  308.     type type_307 is private;
  309.     type type_308 is private;
  310.     type type_309 is private;
  311.     type type_310 is private;
  312.     type type_311 is private;
  313.     type type_312 is private;
  314.     type type_313 is private;
  315.     type type_314 is private;
  316.     type type_315 is private;
  317.     type type_316 is private;
  318.     type type_317 is private;
  319.     type type_318 is private;
  320.     type type_319 is private;
  321.     type type_320 is private;
  322.     type type_321 is private;
  323.     type type_322 is private;
  324.     type type_323 is private;
  325.     type type_324 is private;
  326.     type type_325 is private;
  327.     type type_326 is private;
  328.     type type_327 is private;
  329.     type type_328 is private;
  330.     type type_329 is private;
  331.     type type_330 is private;
  332.     type type_331 is private;
  333.     type type_332 is private;
  334.     type type_333 is private;
  335.     type type_334 is private;
  336.     type type_335 is private;
  337.     type type_336 is private;
  338.     type type_337 is private;
  339.     type type_338 is private;
  340.     type type_339 is private;
  341.     type type_340 is private;
  342.     type type_341 is private;
  343.     type type_342 is private;
  344.     type type_343 is private;
  345.     type type_344 is private;
  346.     type type_345 is private;
  347.     type type_346 is private;
  348.     type type_347 is private;
  349.     type type_348 is private;
  350.     type type_349 is private;
  351.     type type_350 is private;
  352.     type type_351 is private;
  353.     type type_352 is private;
  354.     type type_353 is private;
  355.     type type_354 is private;
  356.     type type_355 is private;
  357.     type type_356 is private;
  358.     type type_357 is private;
  359.     type type_358 is private;
  360.     type type_359 is private;
  361.     type type_360 is private;
  362.     type type_361 is private;
  363.     type type_362 is private;
  364.     type type_363 is private;
  365.     type type_364 is private;
  366.     type type_365 is private;
  367.     type type_366 is private;
  368.     type type_367 is private;
  369.     type type_368 is private;
  370.     type type_369 is private;
  371.     type type_370 is private;
  372.     type type_371 is private;
  373.     type type_372 is private;
  374.     type type_373 is private;
  375.     type type_374 is private;
  376.     type type_375 is private;
  377.     type type_376 is private;
  378.     type type_377 is private;
  379.     type type_378 is private;
  380.     type type_379 is private;
  381.     type type_380 is private;
  382.     type type_381 is private;
  383.     type type_382 is private;
  384.     type type_383 is private;
  385.     type type_384 is private;
  386.     type type_385 is private;
  387.     type type_386 is private;
  388.     type type_387 is private;
  389.     type type_388 is private;
  390.     type type_389 is private;
  391.     type type_390 is private;
  392.     type type_391 is private;
  393.     type type_392 is private;
  394.     type type_393 is private;
  395.     type type_394 is private;
  396.     type type_395 is private;
  397.     type type_396 is private;
  398.     type type_397 is private;
  399.     type type_398 is private;
  400.     type type_399 is private;
  401.     type type_400 is private;
  402.     type type_401 is private;
  403.     type type_402 is private;
  404.     type type_403 is private;
  405.     type type_404 is private;
  406.     type type_405 is private;
  407.     type type_406 is private;
  408.     type type_407 is private;
  409.     type type_408 is private;
  410.     type type_409 is private;
  411.     type type_410 is private;
  412.     type type_411 is private;
  413.     type type_412 is private;
  414.     type type_413 is private;
  415.     type type_414 is private;
  416.     type type_415 is private;
  417.     type type_416 is private;
  418.     type type_417 is private;
  419.     type type_418 is private;
  420.     type type_419 is private;
  421.     type type_420 is private;
  422.     type type_421 is private;
  423.     type type_422 is private;
  424.     type type_423 is private;
  425.     type type_424 is private;
  426.     type type_425 is private;
  427.     type type_426 is private;
  428.     type type_427 is private;
  429.     type type_428 is private;
  430.     type type_429 is private;
  431.     type type_430 is private;
  432.     type type_431 is private;
  433.     type type_432 is private;
  434.     type type_433 is private;
  435.     type type_434 is private;
  436.     type type_435 is private;
  437.     type type_436 is private;
  438.     type type_437 is private;
  439.     type type_438 is private;
  440.     type type_439 is private;
  441.     type type_440 is private;
  442.     type type_441 is private;
  443.     type type_442 is private;
  444.     type type_443 is private;
  445.     type type_444 is private;
  446.     type type_445 is private;
  447.     type type_446 is private;
  448.     type type_447 is private;
  449.     type type_448 is private;
  450.     type type_449 is private;
  451.     type type_450 is private;
  452.     type type_451 is private;
  453.     type type_452 is private;
  454.     type type_453 is private;
  455.     type type_454 is private;
  456.     type type_455 is private;
  457.     type type_456 is private;
  458.     type type_457 is private;
  459.     type type_458 is private;
  460.     type type_459 is private;
  461.     type type_460 is private;
  462.     type type_461 is private;
  463.     type type_462 is private;
  464.     type type_463 is private;
  465.     type type_464 is private;
  466.     type type_465 is private;
  467.     type type_466 is private;
  468.     type type_467 is private;
  469.     type type_468 is private;
  470.     type type_469 is private;
  471.     type type_470 is private;
  472.     type type_471 is private;
  473.     type type_472 is private;
  474.     type type_473 is private;
  475.     type type_474 is private;
  476.     type type_475 is private;
  477.     type type_476 is private;
  478.     type type_477 is private;
  479.     type type_478 is private;
  480.     type type_479 is private;
  481.     type type_480 is private;
  482.     type type_481 is private;
  483.     type type_482 is private;
  484.     type type_483 is private;
  485.     type type_484 is private;
  486.     type type_485 is private;
  487.     type type_486 is private;
  488.     type type_487 is private;
  489.     type type_488 is private;
  490.     type type_489 is private;
  491.     type type_490 is private;
  492.     type type_491 is private;
  493.     type type_492 is private;
  494.     type type_493 is private;
  495.     type type_494 is private;
  496.     type type_495 is private;
  497.     type type_496 is private;
  498.     type type_497 is private;
  499.     type type_498 is private;
  500.     type type_499 is private;
  501.     type type_500 is private;
  502.     private
  503.     type type_500 is access type_499;
  504.     type type_499 is access type_498;
  505.     type type_498 is access type_497;
  506.     type type_497 is access type_496;
  507.     type type_496 is access type_495;
  508.     type type_495 is access type_494;
  509.     type type_494 is access type_493;
  510.     type type_493 is access type_492;
  511.     type type_492 is access type_491;
  512.     type type_491 is access type_490;
  513.     type type_490 is access type_489;
  514.     type type_489 is access type_488;
  515.     type type_488 is access type_487;
  516.     type type_487 is access type_486;
  517.     type type_486 is access type_485;
  518.     type type_485 is access type_484;
  519.     type type_484 is access type_483;
  520.     type type_483 is access type_482;
  521.     type type_482 is access type_481;
  522.     type type_481 is access type_480;
  523.     type type_480 is access type_479;
  524.     type type_479 is access type_478;
  525.     type type_478 is access type_477;
  526.     type type_477 is access type_476;
  527.     type type_476 is access type_475;
  528.     type type_475 is access type_474;
  529.     type type_474 is access type_473;
  530.     type type_473 is access type_472;
  531.     type type_472 is access type_471;
  532.     type type_471 is access type_470;
  533.     type type_470 is access type_469;
  534.     type type_469 is access type_468;
  535.     type type_468 is access type_467;
  536.     type type_467 is access type_466;
  537.     type type_466 is access type_465;
  538.     type type_465 is access type_464;
  539.     type type_464 is access type_463;
  540.     type type_463 is access type_462;
  541.     type type_462 is access type_461;
  542.     type type_461 is access type_460;
  543.     type type_460 is access type_459;
  544.     type type_459 is access type_458;
  545.     type type_458 is access type_457;
  546.     type type_457 is access type_456;
  547.     type type_456 is access type_455;
  548.     type type_455 is access type_454;
  549.     type type_454 is access type_453;
  550.     type type_453 is access type_452;
  551.     type type_452 is access type_451;
  552.     type type_451 is access type_450;
  553.     type type_450 is access type_449;
  554.     type type_449 is access type_448;
  555.     type type_448 is access type_447;
  556.     type type_447 is access type_446;
  557.     type type_446 is access type_445;
  558.     type type_445 is access type_444;
  559.     type type_444 is access type_443;
  560.     type type_443 is access type_442;
  561.     type type_442 is access type_441;
  562.     type type_441 is access type_440;
  563.     type type_440 is access type_439;
  564.     type type_439 is access type_438;
  565.     type type_438 is access type_437;
  566.     type type_437 is access type_436;
  567.     type type_436 is access type_435;
  568.     type type_435 is access type_434;
  569.     type type_434 is access type_433;
  570.     type type_433 is access type_432;
  571.     type type_432 is access type_431;
  572.     type type_431 is access type_430;
  573.     type type_430 is access type_429;
  574.     type type_429 is access type_428;
  575.     type type_428 is access type_427;
  576.     type type_427 is access type_426;
  577.     type type_426 is access type_425;
  578.     type type_425 is access type_424;
  579.     type type_424 is access type_423;
  580.     type type_423 is access type_422;
  581.     type type_422 is access type_421;
  582.     type type_421 is access type_420;
  583.     type type_420 is access type_419;
  584.     type type_419 is access type_418;
  585.     type type_418 is access type_417;
  586.     type type_417 is access type_416;
  587.     type type_416 is access type_415;
  588.     type type_415 is access type_414;
  589.     type type_414 is access type_413;
  590.     type type_413 is access type_412;
  591.     type type_412 is access type_411;
  592.     type type_411 is access type_410;
  593.     type type_410 is access type_409;
  594.     type type_409 is access type_408;
  595.     type type_408 is access type_407;
  596.     type type_407 is access type_406;
  597.     type type_406 is access type_405;
  598.     type type_405 is access type_404;
  599.     type type_404 is access type_403;
  600.     type type_403 is access type_402;
  601.     type type_402 is access type_401;
  602.     type type_401 is access type_400;
  603.     type type_400 is access type_399;
  604.     type type_399 is access type_398;
  605.     type type_398 is access type_397;
  606.     type type_397 is access type_396;
  607.     type type_396 is access type_395;
  608.     type type_395 is access type_394;
  609.     type type_394 is access type_393;
  610.     type type_393 is access type_392;
  611.     type type_392 is access type_391;
  612.     type type_391 is access type_390;
  613.     type type_390 is access type_389;
  614.     type type_389 is access type_388;
  615.     type type_388 is access type_387;
  616.     type type_387 is access type_386;
  617.     type type_386 is access type_385;
  618.     type type_385 is access type_384;
  619.     type type_384 is access type_383;
  620.     type type_383 is access type_382;
  621.     type type_382 is access type_381;
  622.     type type_381 is access type_380;
  623.     type type_380 is access type_379;
  624.     type type_379 is access type_378;
  625.     type type_378 is access type_377;
  626.     type type_377 is access type_376;
  627.     type type_376 is access type_375;
  628.     type type_375 is access type_374;
  629.     type type_374 is access type_373;
  630.     type type_373 is access type_372;
  631.     type type_372 is access type_371;
  632.     type type_371 is access type_370;
  633.     type type_370 is access type_369;
  634.     type type_369 is access type_368;
  635.     type type_368 is access type_367;
  636.     type type_367 is access type_366;
  637.     type type_366 is access type_365;
  638.     type type_365 is access type_364;
  639.     type type_364 is access type_363;
  640.     type type_363 is access type_362;
  641.     type type_362 is access type_361;
  642.     type type_361 is access type_360;
  643.     type type_360 is access type_359;
  644.     type type_359 is access type_358;
  645.     type type_358 is access type_357;
  646.     type type_357 is access type_356;
  647.     type type_356 is access type_355;
  648.     type type_355 is access type_354;
  649.     type type_354 is access type_353;
  650.     type type_353 is access type_352;
  651.     type type_352 is access type_351;
  652.     type type_351 is access type_350;
  653.     type type_350 is access type_349;
  654.     type type_349 is access type_348;
  655.     type type_348 is access type_347;
  656.     type type_347 is access type_346;
  657.     type type_346 is access type_345;
  658.     type type_345 is access type_344;
  659.     type type_344 is access type_343;
  660.     type type_343 is access type_342;
  661.     type type_342 is access type_341;
  662.     type type_341 is access type_340;
  663.     type type_340 is access type_339;
  664.     type type_339 is access type_338;
  665.     type type_338 is access type_337;
  666.     type type_337 is access type_336;
  667.     type type_336 is access type_335;
  668.     type type_335 is access type_334;
  669.     type type_334 is access type_333;
  670.     type type_333 is access type_332;
  671.     type type_332 is access type_331;
  672.     type type_331 is access type_330;
  673.     type type_330 is access type_329;
  674.     type type_329 is access type_328;
  675.     type type_328 is access type_327;
  676.     type type_327 is access type_326;
  677.     type type_326 is access type_325;
  678.     type type_325 is access type_324;
  679.     type type_324 is access type_323;
  680.     type type_323 is access type_322;
  681.     type type_322 is access type_321;
  682.     type type_321 is access type_320;
  683.     type type_320 is access type_319;
  684.     type type_319 is access type_318;
  685.     type type_318 is access type_317;
  686.     type type_317 is access type_316;
  687.     type type_316 is access type_315;
  688.     type type_315 is access type_314;
  689.     type type_314 is access type_313;
  690.     type type_313 is access type_312;
  691.     type type_312 is access type_311;
  692.     type type_311 is access type_310;
  693.     type type_310 is access type_309;
  694.     type type_309 is access type_308;
  695.     type type_308 is access type_307;
  696.     type type_307 is access type_306;
  697.     type type_306 is access type_305;
  698.     type type_305 is access type_304;
  699.     type type_304 is access type_303;
  700.     type type_303 is access type_302;
  701.     type type_302 is access type_301;
  702.     type type_301 is access type_300;
  703.     type type_300 is access type_299;
  704.     type type_299 is access type_298;
  705.     type type_298 is access type_297;
  706.     type type_297 is access type_296;
  707.     type type_296 is access type_295;
  708.     type type_295 is access type_294;
  709.     type type_294 is access type_293;
  710.     type type_293 is access type_292;
  711.     type type_292 is access type_291;
  712.     type type_291 is access type_290;
  713.     type type_290 is access type_289;
  714.     type type_289 is access type_288;
  715.     type type_288 is access type_287;
  716.     type type_287 is access type_286;
  717.     type type_286 is access type_285;
  718.     type type_285 is access type_284;
  719.     type type_284 is access type_283;
  720.     type type_283 is access type_282;
  721.     type type_282 is access type_281;
  722.     type type_281 is access type_280;
  723.     type type_280 is access type_279;
  724.     type type_279 is access type_278;
  725.     type type_278 is access type_277;
  726.     type type_277 is access type_276;
  727.     type type_276 is access type_275;
  728.     type type_275 is access type_274;
  729.     type type_274 is access type_273;
  730.     type type_273 is access type_272;
  731.     type type_272 is access type_271;
  732.     type type_271 is access type_270;
  733.     type type_270 is access type_269;
  734.     type type_269 is access type_268;
  735.     type type_268 is access type_267;
  736.     type type_267 is access type_266;
  737.     type type_266 is access type_265;
  738.     type type_265 is access type_264;
  739.     type type_264 is access type_263;
  740.     type type_263 is access type_262;
  741.     type type_262 is access type_261;
  742.     type type_261 is access type_260;
  743.     type type_260 is access type_259;
  744.     type type_259 is access type_258;
  745.     type type_258 is access type_257;
  746.     type type_257 is access type_256;
  747.     type type_256 is access type_255;
  748.     type type_255 is access type_254;
  749.     type type_254 is access type_253;
  750.     type type_253 is access type_252;
  751.     type type_252 is access type_251;
  752.     type type_251 is access type_250;
  753.     type type_250 is access type_249;
  754.     type type_249 is access type_248;
  755.     type type_248 is access type_247;
  756.     type type_247 is access type_246;
  757.     type type_246 is access type_245;
  758.     type type_245 is access type_244;
  759.     type type_244 is access type_243;
  760.     type type_243 is access type_242;
  761.     type type_242 is access type_241;
  762.     type type_241 is access type_240;
  763.     type type_240 is access type_239;
  764.     type type_239 is access type_238;
  765.     type type_238 is access type_237;
  766.     type type_237 is access type_236;
  767.     type type_236 is access type_235;
  768.     type type_235 is access type_234;
  769.     type type_234 is access type_233;
  770.     type type_233 is access type_232;
  771.     type type_232 is access type_231;
  772.     type type_231 is access type_230;
  773.     type type_230 is access type_229;
  774.     type type_229 is access type_228;
  775.     type type_228 is access type_227;
  776.     type type_227 is access type_226;
  777.     type type_226 is access type_225;
  778.     type type_225 is access type_224;
  779.     type type_224 is access type_223;
  780.     type type_223 is access type_222;
  781.     type type_222 is access type_221;
  782.     type type_221 is access type_220;
  783.     type type_220 is access type_219;
  784.     type type_219 is access type_218;
  785.     type type_218 is access type_217;
  786.     type type_217 is access type_216;
  787.     type type_216 is access type_215;
  788.     type type_215 is access type_214;
  789.     type type_214 is access type_213;
  790.     type type_213 is access type_212;
  791.     type type_212 is access type_211;
  792.     type type_211 is access type_210;
  793.     type type_210 is access type_209;
  794.     type type_209 is access type_208;
  795.     type type_208 is access type_207;
  796.     type type_207 is access type_206;
  797.     type type_206 is access type_205;
  798.     type type_205 is access type_204;
  799.     type type_204 is access type_203;
  800.     type type_203 is access type_202;
  801.     type type_202 is access type_201;
  802.     type type_201 is access type_200;
  803.     type type_200 is access type_199;
  804.     type type_199 is access type_198;
  805.     type type_198 is access type_197;
  806.     type type_197 is access type_196;
  807.     type type_196 is access type_195;
  808.     type type_195 is access type_194;
  809.     type type_194 is access type_193;
  810.     type type_193 is access type_192;
  811.     type type_192 is access type_191;
  812.     type type_191 is access type_190;
  813.     type type_190 is access type_189;
  814.     type type_189 is access type_188;
  815.     type type_188 is access type_187;
  816.     type type_187 is access type_186;
  817.     type type_186 is access type_185;
  818.     type type_185 is access type_184;
  819.     type type_184 is access type_183;
  820.     type type_183 is access type_182;
  821.     type type_182 is access type_181;
  822.     type type_181 is access type_180;
  823.     type type_180 is access type_179;
  824.     type type_179 is access type_178;
  825.     type type_178 is access type_177;
  826.     type type_177 is access type_176;
  827.     type type_176 is access type_175;
  828.     type type_175 is access type_174;
  829.     type type_174 is access type_173;
  830.     type type_173 is access type_172;
  831.     type type_172 is access type_171;
  832.     type type_171 is access type_170;
  833.     type type_170 is access type_169;
  834.     type type_169 is access type_168;
  835.     type type_168 is access type_167;
  836.     type type_167 is access type_166;
  837.     type type_166 is access type_165;
  838.     type type_165 is access type_164;
  839.     type type_164 is access type_163;
  840.     type type_163 is access type_162;
  841.     type type_162 is access type_161;
  842.     type type_161 is access type_160;
  843.     type type_160 is access type_159;
  844.     type type_159 is access type_158;
  845.     type type_158 is access type_157;
  846.     type type_157 is access type_156;
  847.     type type_156 is access type_155;
  848.     type type_155 is access type_154;
  849.     type type_154 is access type_153;
  850.     type type_153 is access type_152;
  851.     type type_152 is access type_151;
  852.     type type_151 is access type_150;
  853.     type type_150 is access type_149;
  854.     type type_149 is access type_148;
  855.     type type_148 is access type_147;
  856.     type type_147 is access type_146;
  857.     type type_146 is access type_145;
  858.     type type_145 is access type_144;
  859.     type type_144 is access type_143;
  860.     type type_143 is access type_142;
  861.     type type_142 is access type_141;
  862.     type type_141 is access type_140;
  863.     type type_140 is access type_139;
  864.     type type_139 is access type_138;
  865.     type type_138 is access type_137;
  866.     type type_137 is access type_136;
  867.     type type_136 is access type_135;
  868.     type type_135 is access type_134;
  869.     type type_134 is access type_133;
  870.     type type_133 is access type_132;
  871.     type type_132 is access type_131;
  872.     type type_131 is access type_130;
  873.     type type_130 is access type_129;
  874.     type type_129 is access type_128;
  875.     type type_128 is access type_127;
  876.     type type_127 is access type_126;
  877.     type type_126 is access type_125;
  878.     type type_125 is access type_124;
  879.     type type_124 is access type_123;
  880.     type type_123 is access type_122;
  881.     type type_122 is access type_121;
  882.     type type_121 is access type_120;
  883.     type type_120 is access type_119;
  884.     type type_119 is access type_118;
  885.     type type_118 is access type_117;
  886.     type type_117 is access type_116;
  887.     type type_116 is access type_115;
  888.     type type_115 is access type_114;
  889.     type type_114 is access type_113;
  890.     type type_113 is access type_112;
  891.     type type_112 is access type_111;
  892.     type type_111 is access type_110;
  893.     type type_110 is access type_109;
  894.     type type_109 is access type_108;
  895.     type type_108 is access type_107;
  896.     type type_107 is access type_106;
  897.     type type_106 is access type_105;
  898.     type type_105 is access type_104;
  899.     type type_104 is access type_103;
  900.     type type_103 is access type_102;
  901.     type type_102 is access type_101;
  902.     type type_101 is access type_100;
  903.     type type_100 is access type_99;
  904.     type type_99 is access type_98;
  905.     type type_98 is access type_97;
  906.     type type_97 is access type_96;
  907.     type type_96 is access type_95;
  908.     type type_95 is access type_94;
  909.     type type_94 is access type_93;
  910.     type type_93 is access type_92;
  911.     type type_92 is access type_91;
  912.     type type_91 is access type_90;
  913.     type type_90 is access type_89;
  914.     type type_89 is access type_88;
  915.     type type_88 is access type_87;
  916.     type type_87 is access type_86;
  917.     type type_86 is access type_85;
  918.     type type_85 is access type_84;
  919.     type type_84 is access type_83;
  920.     type type_83 is access type_82;
  921.     type type_82 is access type_81;
  922.     type type_81 is access type_80;
  923.     type type_80 is access type_79;
  924.     type type_79 is access type_78;
  925.     type type_78 is access type_77;
  926.     type type_77 is access type_76;
  927.     type type_76 is access type_75;
  928.     type type_75 is access type_74;
  929.     type type_74 is access type_73;
  930.     type type_73 is access type_72;
  931.     type type_72 is access type_71;
  932.     type type_71 is access type_70;
  933.     type type_70 is access type_69;
  934.     type type_69 is access type_68;
  935.     type type_68 is access type_67;
  936.     type type_67 is access type_66;
  937.     type type_66 is access type_65;
  938.     type type_65 is access type_64;
  939.     type type_64 is access type_63;
  940.     type type_63 is access type_62;
  941.     type type_62 is access type_61;
  942.     type type_61 is access type_60;
  943.     type type_60 is access type_59;
  944.     type type_59 is access type_58;
  945.     type type_58 is access type_57;
  946.     type type_57 is access type_56;
  947.     type type_56 is access type_55;
  948.     type type_55 is access type_54;
  949.     type type_54 is access type_53;
  950.     type type_53 is access type_52;
  951.     type type_52 is access type_51;
  952.     type type_51 is access type_50;
  953.     type type_50 is access type_49;
  954.     type type_49 is access type_48;
  955.     type type_48 is access type_47;
  956.     type type_47 is access type_46;
  957.     type type_46 is access type_45;
  958.     type type_45 is access type_44;
  959.     type type_44 is access type_43;
  960.     type type_43 is access type_42;
  961.     type type_42 is access type_41;
  962.     type type_41 is access type_40;
  963.     type type_40 is access type_39;
  964.     type type_39 is access type_38;
  965.     type type_38 is access type_37;
  966.     type type_37 is access type_36;
  967.     type type_36 is access type_35;
  968.     type type_35 is access type_34;
  969.     type type_34 is access type_33;
  970.     type type_33 is access type_32;
  971.     type type_32 is access type_31;
  972.     type type_31 is access type_30;
  973.     type type_30 is access type_29;
  974.     type type_29 is access type_28;
  975.     type type_28 is access type_27;
  976.     type type_27 is access type_26;
  977.     type type_26 is access type_25;
  978.     type type_25 is access type_24;
  979.     type type_24 is access type_23;
  980.     type type_23 is access type_22;
  981.     type type_22 is access type_21;
  982.     type type_21 is access type_20;
  983.     type type_20 is access type_19;
  984.     type type_19 is access type_18;
  985.     type type_18 is access type_17;
  986.     type type_17 is access type_16;
  987.     type type_16 is access type_15;
  988.     type type_15 is access type_14;
  989.     type type_14 is access type_13;
  990.     type type_13 is access type_12;
  991.     type type_12 is access type_11;
  992.     type type_11 is access type_10;
  993.     type type_10 is access type_9;
  994.     type type_9 is access type_8;
  995.     type type_8 is access type_7;
  996.     type type_7 is access type_6;
  997.     type type_6 is access type_5;
  998.     type type_5 is access type_4;
  999.     type type_4 is access type_3;
  1000.     type type_3 is access type_2;
  1001.     type type_2 is access type_1;
  1002.     type type_1 is range 1..500;
  1003.     end z000153;
  1004.