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