home *** CD-ROM | disk | FTP | other *** search
/ ftp.ee.pdx.edu / 2014.02.ftp.ee.pdx.edu.tar / ftp.ee.pdx.edu / pub / users / Harry / compilers / p10 / tst / offset3.pcat < prev    next >
Text File  |  2006-02-17  |  63KB  |  2,107 lines
  1. (* This program tests that variables and formals are assigned correct offsets
  2.    and that the framesize computation is correct. *)
  3.  
  4. program is
  5.   var g1,g2,g3,g4,g5,g6,g7,g8,g9,g10: integer := 0;
  6.  
  7.   (*** Here are some procedures with lots of parameters.  ***)
  8.   procedure bar5 (x1,x2,x3,x4,x5: integer) is
  9.     begin return; end;
  10.   procedure bar6 (x1,x2,x3,x4,x5,x6: integer) is
  11.     begin return; end;
  12.   procedure bar7 (x1,x2,x3,x4,x5,x6,x7: integer) is
  13.     begin return; end;
  14.   procedure bar8 (x1,x2,x3,x4,x5,x6,x7,x8: integer) is
  15.     begin return; end;
  16.   procedure bar9 (x1,x2,x3,x4,x5,x6,x7,x8,x9: integer) is
  17.     begin return; end;
  18.  
  19.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  20.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  21.         begin
  22.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  23.           return;
  24.         end;
  25.  
  26. (***  Try routines that call bar5 ***)
  27.   (***  Try all combinations of different number of parameters and locals ***)
  28.   procedure foo511 () is
  29.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  30.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  31.         begin
  32.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  33.           return;
  34.         end;
  35.     begin
  36.       bar5 (1,2,3,4,5);
  37.       return;
  38.     end;
  39.  
  40.   procedure foo512 (a1: integer) is
  41.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  42.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  43.         begin
  44.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  45.           return;
  46.         end;
  47.     begin
  48.       bar5 (1,2,3,4,5);
  49.       return;
  50.     end;
  51.  
  52.   procedure foo513 (a1, a2: integer) is
  53.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  54.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  55.         begin
  56.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  57.           return;
  58.         end;
  59.     begin
  60.       bar5 (1,2,3,4,5);
  61.       return;
  62.     end;
  63.  
  64.   procedure foo514 (a1, a2, a3: integer) is
  65.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  66.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  67.         begin
  68.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  69.           return;
  70.         end;
  71.     begin
  72.       bar5 (1,2,3,4,5);
  73.       return;
  74.     end;
  75.  
  76.   procedure foo521 () is
  77.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  78.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  79.         begin
  80.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  81.           return;
  82.         end;
  83.     var b1: integer := 0;
  84.     begin
  85.       bar5 (1,2,3,4,5);
  86.       return;
  87.     end;
  88.  
  89.   procedure foo522 (a1: integer) is
  90.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  91.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  92.         begin
  93.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  94.           return;
  95.         end;
  96.     var b1: integer := 0;
  97.     begin
  98.       bar5 (1,2,3,4,5);
  99.       return;
  100.     end;
  101.  
  102.   procedure foo523 (a1, a2: integer) is
  103.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  104.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  105.         begin
  106.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  107.           return;
  108.         end;
  109.     var b1: integer := 0;
  110.     begin
  111.       bar5 (1,2,3,4,5);
  112.       return;
  113.     end;
  114.  
  115.   procedure foo524 (a1, a2, a3: integer) is
  116.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  117.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  118.         begin
  119.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  120.           return;
  121.         end;
  122.     var b1: integer := 0;
  123.     begin
  124.       bar5 (1,2,3,4,5);
  125.       return;
  126.     end;
  127.  
  128.   procedure foo531 () is
  129.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  130.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  131.         begin
  132.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  133.           return;
  134.         end;
  135.     var b1, b2: integer := 0;
  136.     begin
  137.       bar5 (1,2,3,4,5);
  138.       return;
  139.     end;
  140.  
  141.   procedure foo532 (a1: integer) is
  142.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  143.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  144.         begin
  145.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  146.           return;
  147.         end;
  148.     var b1, b2: integer := 0;
  149.     begin
  150.       bar5 (1,2,3,4,5);
  151.       return;
  152.     end;
  153.  
  154.   procedure foo533 (a1, a2: integer) is
  155.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  156.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  157.         begin
  158.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  159.           return;
  160.         end;
  161.     var b1, b2: integer := 0;
  162.     begin
  163.       bar5 (1,2,3,4,5);
  164.       return;
  165.     end;
  166.  
  167.   procedure foo534 (a1, a2, a3: integer) is
  168.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  169.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  170.         begin
  171.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  172.           return;
  173.         end;
  174.     var b1, b2: integer := 0;
  175.     begin
  176.       bar5 (1,2,3,4,5);
  177.       return;
  178.     end;
  179.  
  180.   procedure foo541 () is
  181.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  182.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  183.         begin
  184.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  185.           return;
  186.         end;
  187.     var b1, b2, b3: integer := 0;
  188.     begin
  189.       bar5 (1,2,3,4,5);
  190.       return;
  191.     end;
  192.  
  193.   procedure foo542 (a1: integer) is
  194.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  195.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  196.         begin
  197.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  198.           return;
  199.         end;
  200.     var b1, b2, b3: integer := 0;
  201.     begin
  202.       bar5 (1,2,3,4,5);
  203.       return;
  204.     end;
  205.  
  206.   procedure foo543 (a1, a2: integer) is
  207.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  208.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  209.         begin
  210.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  211.           return;
  212.         end;
  213.     var b1, b2, b3: integer := 0;
  214.     begin
  215.       bar5 (1,2,3,4,5);
  216.       return;
  217.     end;
  218.  
  219.   procedure foo144 (a1, a2, a3: integer) is
  220.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  221.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  222.         begin
  223.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  224.           return;
  225.         end;
  226.     var b1, b2, b3: integer := 0;
  227.     begin
  228.       bar5 (1,2,3,4,5);
  229.       return;
  230.     end;
  231.   (********)
  232.  
  233. (***  Try routines that call bar6 ***)
  234.   (***  Try all combinations of different number of parameters and locals ***)
  235.   procedure foo611 () is
  236.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  237.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  238.         begin
  239.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  240.           return;
  241.         end;
  242.     begin
  243.       bar6 (1,2,3,4,5,6);
  244.       return;
  245.     end;
  246.  
  247.   procedure foo612 (a1: integer) is
  248.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  249.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  250.         begin
  251.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  252.           return;
  253.         end;
  254.     begin
  255.       bar6 (1,2,3,4,5,6);
  256.       return;
  257.     end;
  258.  
  259.   procedure foo613 (a1, a2: integer) is
  260.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  261.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  262.         begin
  263.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  264.           return;
  265.         end;
  266.     begin
  267.       bar6 (1,2,3,4,5,6);
  268.       return;
  269.     end;
  270.  
  271.   procedure foo614 (a1, a2, a3: integer) is
  272.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  273.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  274.         begin
  275.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  276.           return;
  277.         end;
  278.     begin
  279.       bar6 (1,2,3,4,5,6);
  280.       return;
  281.     end;
  282.  
  283.   procedure foo621 () is
  284.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  285.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  286.         begin
  287.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  288.           return;
  289.         end;
  290.     var b1: integer := 0;
  291.     begin
  292.       bar6 (1,2,3,4,5,6);
  293.       return;
  294.     end;
  295.  
  296.   procedure foo622 (a1: integer) is
  297.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  298.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  299.         begin
  300.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  301.           return;
  302.         end;
  303.     var b1: integer := 0;
  304.     begin
  305.       bar6 (1,2,3,4,5,6);
  306.       return;
  307.     end;
  308.  
  309.   procedure foo623 (a1, a2: integer) is
  310.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  311.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  312.         begin
  313.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  314.           return;
  315.         end;
  316.     var b1: integer := 0;
  317.     begin
  318.       bar6 (1,2,3,4,5,6);
  319.       return;
  320.     end;
  321.  
  322.   procedure foo624 (a1, a2, a3: integer) is
  323.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  324.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  325.         begin
  326.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  327.           return;
  328.         end;
  329.     var b1: integer := 0;
  330.     begin
  331.       bar6 (1,2,3,4,5,6);
  332.       return;
  333.     end;
  334.  
  335.   procedure foo631 () is
  336.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  337.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  338.         begin
  339.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  340.           return;
  341.         end;
  342.     var b1, b2: integer := 0;
  343.     begin
  344.       bar6 (1,2,3,4,5,6);
  345.       return;
  346.     end;
  347.  
  348.   procedure foo632 (a1: integer) is
  349.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  350.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  351.         begin
  352.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  353.           return;
  354.         end;
  355.     var b1, b2: integer := 0;
  356.     begin
  357.       bar6 (1,2,3,4,5,6);
  358.       return;
  359.     end;
  360.  
  361.   procedure foo633 (a1, a2: integer) is
  362.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  363.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  364.         begin
  365.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  366.           return;
  367.         end;
  368.     var b1, b2: integer := 0;
  369.     begin
  370.       bar6 (1,2,3,4,5,6);
  371.       return;
  372.     end;
  373.  
  374.   procedure foo634 (a1, a2, a3: integer) is
  375.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  376.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  377.         begin
  378.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  379.           return;
  380.         end;
  381.     var b1, b2: integer := 0;
  382.     begin
  383.       bar6 (1,2,3,4,5,6);
  384.       return;
  385.     end;
  386.  
  387.   procedure foo641 () is
  388.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  389.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  390.         begin
  391.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  392.           return;
  393.         end;
  394.     var b1, b2, b3: integer := 0;
  395.     begin
  396.       bar6 (1,2,3,4,5,6);
  397.       return;
  398.     end;
  399.  
  400.   procedure foo642 (a1: integer) is
  401.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  402.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  403.         begin
  404.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  405.           return;
  406.         end;
  407.     var b1, b2, b3: integer := 0;
  408.     begin
  409.       bar6 (1,2,3,4,5,6);
  410.       return;
  411.     end;
  412.  
  413.   procedure foo643 (a1, a2: integer) is
  414.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  415.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  416.         begin
  417.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  418.           return;
  419.         end;
  420.     var b1, b2, b3: integer := 0;
  421.     begin
  422.       bar6 (1,2,3,4,5,6);
  423.       return;
  424.     end;
  425.  
  426.   procedure foo644 (a1, a2, a3: integer) is
  427.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  428.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  429.         begin
  430.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  431.           return;
  432.         end;
  433.     var b1, b2, b3: integer := 0;
  434.     begin
  435.       bar6 (1,2,3,4,5,6);
  436.       return;
  437.     end;
  438.   (********)
  439.  
  440. (***  Try routines that call bar7 ***)
  441.   (***  Try all combinations of different number of parameters and locals ***)
  442.   procedure foo711 () is
  443.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  444.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  445.         begin
  446.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  447.           return;
  448.         end;
  449.     begin
  450.       bar7 (1,2,3,4,5,6,7);
  451.       return;
  452.     end;
  453.  
  454.   procedure foo712 (a1: integer) is
  455.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  456.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  457.         begin
  458.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  459.           return;
  460.         end;
  461.     begin
  462.       bar7 (1,2,3,4,5,6,7);
  463.       return;
  464.     end;
  465.  
  466.   procedure foo713 (a1, a2: integer) is
  467.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  468.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  469.         begin
  470.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  471.           return;
  472.         end;
  473.     begin
  474.       bar7 (1,2,3,4,5,6,7);
  475.       return;
  476.     end;
  477.  
  478.   procedure foo714 (a1, a2, a3: integer) is
  479.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  480.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  481.         begin
  482.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  483.           return;
  484.         end;
  485.     begin
  486.       bar7 (1,2,3,4,5,6,7);
  487.       return;
  488.     end;
  489.  
  490.   procedure foo721 () is
  491.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  492.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  493.         begin
  494.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  495.           return;
  496.         end;
  497.     var b1: integer := 0;
  498.     begin
  499.       bar7 (1,2,3,4,5,6,7);
  500.       return;
  501.     end;
  502.  
  503.   procedure foo722 (a1: integer) is
  504.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  505.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  506.         begin
  507.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  508.           return;
  509.         end;
  510.     var b1: integer := 0;
  511.     begin
  512.       bar7 (1,2,3,4,5,6,7);
  513.       return;
  514.     end;
  515.  
  516.   procedure foo723 (a1, a2: integer) is
  517.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  518.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  519.         begin
  520.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  521.           return;
  522.         end;
  523.     var b1: integer := 0;
  524.     begin
  525.       bar7 (1,2,3,4,5,6,7);
  526.       return;
  527.     end;
  528.  
  529.   procedure foo724 (a1, a2, a3: integer) is
  530.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  531.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  532.         begin
  533.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  534.           return;
  535.         end;
  536.     var b1: integer := 0;
  537.     begin
  538.       bar7 (1,2,3,4,5,6,7);
  539.       return;
  540.     end;
  541.  
  542.   procedure foo731 () is
  543.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  544.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  545.         begin
  546.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  547.           return;
  548.         end;
  549.     var b1, b2: integer := 0;
  550.     begin
  551.       bar7 (1,2,3,4,5,6,7);
  552.       return;
  553.     end;
  554.  
  555.   procedure foo732 (a1: integer) is
  556.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  557.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  558.         begin
  559.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  560.           return;
  561.         end;
  562.     var b1, b2: integer := 0;
  563.     begin
  564.       bar7 (1,2,3,4,5,6,7);
  565.       return;
  566.     end;
  567.  
  568.   procedure foo733 (a1, a2: integer) is
  569.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  570.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  571.         begin
  572.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  573.           return;
  574.         end;
  575.     var b1, b2: integer := 0;
  576.     begin
  577.       bar7 (1,2,3,4,5,6,7);
  578.       return;
  579.     end;
  580.  
  581.   procedure foo734 (a1, a2, a3: integer) is
  582.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  583.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  584.         begin
  585.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  586.           return;
  587.         end;
  588.     var b1, b2: integer := 0;
  589.     begin
  590.       bar7 (1,2,3,4,5,6,7);
  591.       return;
  592.     end;
  593.  
  594.   procedure foo741 () is
  595.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  596.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  597.         begin
  598.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  599.           return;
  600.         end;
  601.     var b1, b2, b3: integer := 0;
  602.     begin
  603.       bar7 (1,2,3,4,5,6,7);
  604.       return;
  605.     end;
  606.  
  607.   procedure foo742 (a1: integer) is
  608.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  609.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  610.         begin
  611.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  612.           return;
  613.         end;
  614.     var b1, b2, b3: integer := 0;
  615.     begin
  616.       bar7 (1,2,3,4,5,6,7);
  617.       return;
  618.     end;
  619.  
  620.   procedure foo743 (a1, a2: integer) is
  621.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  622.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  623.         begin
  624.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  625.           return;
  626.         end;
  627.     var b1, b2, b3: integer := 0;
  628.     begin
  629.       bar7 (1,2,3,4,5,6,7);
  630.       return;
  631.     end;
  632.  
  633.   procedure foo744 (a1, a2, a3: integer) is
  634.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  635.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  636.         begin
  637.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  638.           return;
  639.         end;
  640.     var b1, b2, b3: integer := 0;
  641.     begin
  642.       bar7 (1,2,3,4,5,6,7);
  643.       return;
  644.     end;
  645.   (********)
  646.  
  647. (***  Try routines that call bar8 ***)
  648.   (***  Try all combinations of different number of parameters and locals ***)
  649.   procedure foo811 () is
  650.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  651.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  652.         begin
  653.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  654.           return;
  655.         end;
  656.     begin
  657.       bar8 (1,2,3,4,5,6,7,8);
  658.       return;
  659.     end;
  660.  
  661.   procedure foo812 (a1: integer) is
  662.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  663.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  664.         begin
  665.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  666.           return;
  667.         end;
  668.     begin
  669.       bar8 (1,2,3,4,5,6,7,8);
  670.       return;
  671.     end;
  672.  
  673.   procedure foo813 (a1, a2: integer) is
  674.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  675.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  676.         begin
  677.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  678.           return;
  679.         end;
  680.     begin
  681.       bar8 (1,2,3,4,5,6,7,8);
  682.       return;
  683.     end;
  684.  
  685.   procedure foo814 (a1, a2, a3: integer) is
  686.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  687.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  688.         begin
  689.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  690.           return;
  691.         end;
  692.     begin
  693.       bar8 (1,2,3,4,5,6,7,8);
  694.       return;
  695.     end;
  696.  
  697.   procedure foo821 () is
  698.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  699.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  700.         begin
  701.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  702.           return;
  703.         end;
  704.     var b1: integer := 0;
  705.     begin
  706.       bar8 (1,2,3,4,5,6,7,8);
  707.       return;
  708.     end;
  709.  
  710.   procedure foo822 (a1: integer) is
  711.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  712.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  713.         begin
  714.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  715.           return;
  716.         end;
  717.     var b1: integer := 0;
  718.     begin
  719.       bar8 (1,2,3,4,5,6,7,8);
  720.       return;
  721.     end;
  722.  
  723.   procedure foo823 (a1, a2: integer) is
  724.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  725.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  726.         begin
  727.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  728.           return;
  729.         end;
  730.     var b1: integer := 0;
  731.     begin
  732.       bar8 (1,2,3,4,5,6,7,8);
  733.       return;
  734.     end;
  735.  
  736.   procedure foo824 (a1, a2, a3: integer) is
  737.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  738.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  739.         begin
  740.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  741.           return;
  742.         end;
  743.     var b1: integer := 0;
  744.     begin
  745.       bar8 (1,2,3,4,5,6,7,8);
  746.       return;
  747.     end;
  748.  
  749.   procedure foo831 () is
  750.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  751.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  752.         begin
  753.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  754.           return;
  755.         end;
  756.     var b1, b2: integer := 0;
  757.     begin
  758.       bar8 (1,2,3,4,5,6,7,8);
  759.       return;
  760.     end;
  761.  
  762.   procedure foo832 (a1: integer) is
  763.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  764.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  765.         begin
  766.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  767.           return;
  768.         end;
  769.     var b1, b2: integer := 0;
  770.     begin
  771.       bar8 (1,2,3,4,5,6,7,8);
  772.       return;
  773.     end;
  774.  
  775.   procedure foo833 (a1, a2: integer) is
  776.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  777.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  778.         begin
  779.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  780.           return;
  781.         end;
  782.     var b1, b2: integer := 0;
  783.     begin
  784.       bar8 (1,2,3,4,5,6,7,8);
  785.       return;
  786.     end;
  787.  
  788.   procedure foo834 (a1, a2, a3: integer) is
  789.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  790.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  791.         begin
  792.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  793.           return;
  794.         end;
  795.     var b1, b2: integer := 0;
  796.     begin
  797.       bar8 (1,2,3,4,5,6,7,8);
  798.       return;
  799.     end;
  800.  
  801.   procedure foo841 () is
  802.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  803.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  804.         begin
  805.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  806.           return;
  807.         end;
  808.     var b1, b2, b3: integer := 0;
  809.     begin
  810.       bar8 (1,2,3,4,5,6,7,8);
  811.       return;
  812.     end;
  813.  
  814.   procedure foo842 (a1: integer) is
  815.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  816.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  817.         begin
  818.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  819.           return;
  820.         end;
  821.     var b1, b2, b3: integer := 0;
  822.     begin
  823.       bar8 (1,2,3,4,5,6,7,8);
  824.       return;
  825.     end;
  826.  
  827.   procedure foo843 (a1, a2: integer) is
  828.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  829.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  830.         begin
  831.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  832.           return;
  833.         end;
  834.     var b1, b2, b3: integer := 0;
  835.     begin
  836.       bar8 (1,2,3,4,5,6,7,8);
  837.       return;
  838.     end;
  839.  
  840.   procedure foo844 (a1, a2, a3: integer) is
  841.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  842.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  843.         begin
  844.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  845.           return;
  846.         end;
  847.     var b1, b2, b3: integer := 0;
  848.     begin
  849.       bar8 (1,2,3,4,5,6,7,8);
  850.       return;
  851.     end;
  852.   (********)
  853.  
  854. (***  Try routines that call bar9 ***)
  855.   (***  Try all combinations of different number of parameters and locals ***)
  856.   procedure foo911 () is
  857.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  858.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  859.         begin
  860.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  861.           return;
  862.         end;
  863.     begin
  864.       bar9 (1,2,3,4,5,6,7,8,9);
  865.       return;
  866.     end;
  867.  
  868.   procedure foo912 (a1: integer) is
  869.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  870.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  871.         begin
  872.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  873.           return;
  874.         end;
  875.     begin
  876.       bar9 (1,2,3,4,5,6,7,8,9);
  877.       return;
  878.     end;
  879.  
  880.   procedure foo913 (a1, a2: integer) is
  881.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  882.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  883.         begin
  884.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  885.           return;
  886.         end;
  887.     begin
  888.       bar9 (1,2,3,4,5,6,7,8,9);
  889.       return;
  890.     end;
  891.  
  892.   procedure foo914 (a1, a2, a3: integer) is
  893.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  894.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  895.         begin
  896.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  897.           return;
  898.         end;
  899.     begin
  900.       bar9 (1,2,3,4,5,6,7,8,9);
  901.       return;
  902.     end;
  903.  
  904.   procedure foo921 () is
  905.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  906.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  907.         begin
  908.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  909.           return;
  910.         end;
  911.     var b1: integer := 0;
  912.     begin
  913.       bar9 (1,2,3,4,5,6,7,8,9);
  914.       return;
  915.     end;
  916.  
  917.   procedure foo922 (a1: integer) is
  918.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  919.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  920.         begin
  921.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  922.           return;
  923.         end;
  924.     var b1: integer := 0;
  925.     begin
  926.       bar9 (1,2,3,4,5,6,7,8,9);
  927.       return;
  928.     end;
  929.  
  930.   procedure foo923 (a1, a2: integer) is
  931.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  932.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  933.         begin
  934.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  935.           return;
  936.         end;
  937.     var b1: integer := 0;
  938.     begin
  939.       bar9 (1,2,3,4,5,6,7,8,9);
  940.       return;
  941.     end;
  942.  
  943.   procedure foo924 (a1, a2, a3: integer) is
  944.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  945.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  946.         begin
  947.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  948.           return;
  949.         end;
  950.     var b1: integer := 0;
  951.     begin
  952.       bar9 (1,2,3,4,5,6,7,8,9);
  953.       return;
  954.     end;
  955.  
  956.   procedure foo931 () is
  957.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  958.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  959.         begin
  960.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  961.           return;
  962.         end;
  963.     var b1, b2: integer := 0;
  964.     begin
  965.       bar9 (1,2,3,4,5,6,7,8,9);
  966.       return;
  967.     end;
  968.  
  969.   procedure foo932 (a1: integer) is
  970.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  971.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  972.         begin
  973.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  974.           return;
  975.         end;
  976.     var b1, b2: integer := 0;
  977.     begin
  978.       bar9 (1,2,3,4,5,6,7,8,9);
  979.       return;
  980.     end;
  981.  
  982.   procedure foo933 (a1, a2: integer) is
  983.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  984.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  985.         begin
  986.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  987.           return;
  988.         end;
  989.     var b1, b2: integer := 0;
  990.     begin
  991.       bar9 (1,2,3,4,5,6,7,8,9);
  992.       return;
  993.     end;
  994.  
  995.   procedure foo934 (a1, a2, a3: integer) is
  996.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  997.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  998.         begin
  999.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1000.           return;
  1001.         end;
  1002.     var b1, b2: integer := 0;
  1003.     begin
  1004.       bar9 (1,2,3,4,5,6,7,8,9);
  1005.       return;
  1006.     end;
  1007.  
  1008.   procedure foo941 () is
  1009.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1010.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1011.         begin
  1012.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1013.           return;
  1014.         end;
  1015.     var b1, b2, b3: integer := 0;
  1016.     begin
  1017.       bar9 (1,2,3,4,5,6,7,8,9);
  1018.       return;
  1019.     end;
  1020.  
  1021.   procedure foo942 (a1: integer) is
  1022.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1023.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1024.         begin
  1025.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1026.           return;
  1027.         end;
  1028.     var b1, b2, b3: integer := 0;
  1029.     begin
  1030.       bar9 (1,2,3,4,5,6,7,8,9);
  1031.       return;
  1032.     end;
  1033.  
  1034.   procedure foo943 (a1, a2: integer) is
  1035.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1036.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1037.         begin
  1038.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1039.           return;
  1040.         end;
  1041.     var b1, b2, b3: integer := 0;
  1042.     begin
  1043.       bar9 (1,2,3,4,5,6,7,8,9);
  1044.       return;
  1045.     end;
  1046.  
  1047.   procedure foo944 (a1, a2, a3: integer) is
  1048.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1049.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1050.         begin
  1051.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1052.           return;
  1053.         end;
  1054.     var b1, b2, b3: integer := 0;
  1055.     begin
  1056.       bar9 (1,2,3,4,5,6,7,8,9);
  1057.       return;
  1058.     end;
  1059.   (********)
  1060.  
  1061.  
  1062.  
  1063. (********************* Now add a temp variable **********************)
  1064.  
  1065.  
  1066.  
  1067. (***  Try routines that call bar5 ***)
  1068.   (***  Try all combinations of different number of parameters and locals ***)
  1069.   procedure goo511 () is
  1070.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1071.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1072.         begin
  1073.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1074.           return;
  1075.         end;
  1076.     begin
  1077.       bar5 (1,g2+g3,3,4,5);
  1078.  
  1079.  
  1080.       return;
  1081.     end;
  1082.  
  1083.   procedure goo512 (a1: integer) is
  1084.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1085.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1086.         begin
  1087.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1088.           return;
  1089.         end;
  1090.     begin
  1091.       bar5 (1,g2+g3,3,4,5);
  1092.       return;
  1093.     end;
  1094.  
  1095.   procedure goo513 (a1, a2: integer) is
  1096.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1097.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1098.         begin
  1099.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1100.           return;
  1101.         end;
  1102.     begin
  1103.       bar5 (1,g2+g3,3,4,5);
  1104.       return;
  1105.     end;
  1106.  
  1107.   procedure goo514 (a1, a2, a3: integer) is
  1108.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1109.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1110.         begin
  1111.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1112.           return;
  1113.         end;
  1114.     begin
  1115.       bar5 (1,g2+g3,3,4,5);
  1116.       return;
  1117.     end;
  1118.  
  1119.   procedure goo521 () is
  1120.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1121.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1122.         begin
  1123.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1124.           return;
  1125.         end;
  1126.     var b1: integer := 0;
  1127.     begin
  1128.       bar5 (1,g2+g3,3,4,5);
  1129.       return;
  1130.     end;
  1131.  
  1132.   procedure goo522 (a1: integer) is
  1133.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1134.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1135.         begin
  1136.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1137.           return;
  1138.         end;
  1139.     var b1: integer := 0;
  1140.     begin
  1141.       bar5 (1,g2+g3,3,4,5);
  1142.       return;
  1143.     end;
  1144.  
  1145.   procedure goo523 (a1, a2: integer) is
  1146.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1147.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1148.         begin
  1149.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1150.           return;
  1151.         end;
  1152.     var b1: integer := 0;
  1153.     begin
  1154.       bar5 (1,g2+g3,3,4,5);
  1155.       return;
  1156.     end;
  1157.  
  1158.   procedure goo524 (a1, a2, a3: integer) is
  1159.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1160.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1161.         begin
  1162.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1163.           return;
  1164.         end;
  1165.     var b1: integer := 0;
  1166.     begin
  1167.       bar5 (1,g2+g3,3,4,5);
  1168.       return;
  1169.     end;
  1170.  
  1171.   procedure goo531 () is
  1172.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1173.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1174.         begin
  1175.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1176.           return;
  1177.         end;
  1178.     var b1, b2: integer := 0;
  1179.     begin
  1180.       bar5 (1,g2+g3,3,4,5);
  1181.       return;
  1182.     end;
  1183.  
  1184.   procedure goo532 (a1: integer) is
  1185.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1186.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1187.         begin
  1188.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1189.           return;
  1190.         end;
  1191.     var b1, b2: integer := 0;
  1192.     begin
  1193.       bar5 (1,g2+g3,3,4,5);
  1194.       return;
  1195.     end;
  1196.  
  1197.   procedure goo533 (a1, a2: integer) is
  1198.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1199.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1200.         begin
  1201.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1202.           return;
  1203.         end;
  1204.     var b1, b2: integer := 0;
  1205.     begin
  1206.       bar5 (1,g2+g3,3,4,5);
  1207.       return;
  1208.     end;
  1209.  
  1210.   procedure goo534 (a1, a2, a3: integer) is
  1211.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1212.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1213.         begin
  1214.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1215.           return;
  1216.         end;
  1217.     var b1, b2: integer := 0;
  1218.     begin
  1219.       bar5 (1,g2+g3,3,4,5);
  1220.       return;
  1221.     end;
  1222.  
  1223.   procedure goo541 () is
  1224.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1225.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1226.         begin
  1227.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1228.           return;
  1229.         end;
  1230.     var b1, b2, b3: integer := 0;
  1231.     begin
  1232.       bar5 (1,g2+g3,3,4,5);
  1233.       return;
  1234.     end;
  1235.  
  1236.   procedure goo542 (a1: integer) is
  1237.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1238.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1239.         begin
  1240.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1241.           return;
  1242.         end;
  1243.     var b1, b2, b3: integer := 0;
  1244.     begin
  1245.       bar5 (1,g2+g3,3,4,5);
  1246.       return;
  1247.     end;
  1248.  
  1249.   procedure goo543 (a1, a2: integer) is
  1250.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1251.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1252.         begin
  1253.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1254.           return;
  1255.         end;
  1256.     var b1, b2, b3: integer := 0;
  1257.     begin
  1258.       bar5 (1,g2+g3,3,4,5);
  1259.       return;
  1260.     end;
  1261.  
  1262.   procedure goo144 (a1, a2, a3: integer) is
  1263.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1264.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1265.         begin
  1266.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1267.           return;
  1268.         end;
  1269.     var b1, b2, b3: integer := 0;
  1270.     begin
  1271.       bar5 (1,g2+g3,3,4,5);
  1272.       return;
  1273.     end;
  1274.   (********)
  1275.  
  1276. (***  Try routines that call bar6 ***)
  1277.   (***  Try all combinations of different number of parameters and locals ***)
  1278.   procedure goo611 () is
  1279.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1280.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1281.         begin
  1282.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1283.           return;
  1284.         end;
  1285.     begin
  1286.       bar6 (1,g2+g3,3,4,5,6);
  1287.       return;
  1288.     end;
  1289.  
  1290.   procedure goo612 (a1: integer) is
  1291.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1292.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1293.         begin
  1294.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1295.           return;
  1296.         end;
  1297.     begin
  1298.       bar6 (1,g2+g3,3,4,5,6);
  1299.       return;
  1300.     end;
  1301.  
  1302.   procedure goo613 (a1, a2: integer) is
  1303.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1304.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1305.         begin
  1306.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1307.           return;
  1308.         end;
  1309.     begin
  1310.       bar6 (1,g2+g3,3,4,5,6);
  1311.       return;
  1312.     end;
  1313.  
  1314.   procedure goo614 (a1, a2, a3: integer) is
  1315.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1316.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1317.         begin
  1318.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1319.           return;
  1320.         end;
  1321.     begin
  1322.       bar6 (1,g2+g3,3,4,5,6);
  1323.       return;
  1324.     end;
  1325.  
  1326.   procedure goo621 () is
  1327.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1328.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1329.         begin
  1330.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1331.           return;
  1332.         end;
  1333.     var b1: integer := 0;
  1334.     begin
  1335.       bar6 (1,g2+g3,3,4,5,6);
  1336.       return;
  1337.     end;
  1338.  
  1339.   procedure goo622 (a1: integer) is
  1340.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1341.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1342.         begin
  1343.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1344.           return;
  1345.         end;
  1346.     var b1: integer := 0;
  1347.     begin
  1348.       bar6 (1,g2+g3,3,4,5,6);
  1349.       return;
  1350.     end;
  1351.  
  1352.   procedure goo623 (a1, a2: integer) is
  1353.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1354.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1355.         begin
  1356.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1357.           return;
  1358.         end;
  1359.     var b1: integer := 0;
  1360.     begin
  1361.       bar6 (1,g2+g3,3,4,5,6);
  1362.       return;
  1363.     end;
  1364.  
  1365.   procedure goo624 (a1, a2, a3: integer) is
  1366.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1367.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1368.         begin
  1369.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1370.           return;
  1371.         end;
  1372.     var b1: integer := 0;
  1373.     begin
  1374.       bar6 (1,g2+g3,3,4,5,6);
  1375.       return;
  1376.     end;
  1377.  
  1378.   procedure goo631 () is
  1379.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1380.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1381.         begin
  1382.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1383.           return;
  1384.         end;
  1385.     var b1, b2: integer := 0;
  1386.     begin
  1387.       bar6 (1,g2+g3,3,4,5,6);
  1388.       return;
  1389.     end;
  1390.  
  1391.   procedure goo632 (a1: integer) is
  1392.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1393.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1394.         begin
  1395.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1396.           return;
  1397.         end;
  1398.     var b1, b2: integer := 0;
  1399.     begin
  1400.       bar6 (1,g2+g3,3,4,5,6);
  1401.       return;
  1402.     end;
  1403.  
  1404.   procedure goo633 (a1, a2: integer) is
  1405.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1406.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1407.         begin
  1408.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1409.           return;
  1410.         end;
  1411.     var b1, b2: integer := 0;
  1412.     begin
  1413.       bar6 (1,g2+g3,3,4,5,6);
  1414.       return;
  1415.     end;
  1416.  
  1417.   procedure goo634 (a1, a2, a3: integer) is
  1418.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1419.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1420.         begin
  1421.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1422.           return;
  1423.         end;
  1424.     var b1, b2: integer := 0;
  1425.     begin
  1426.       bar6 (1,g2+g3,3,4,5,6);
  1427.       return;
  1428.     end;
  1429.  
  1430.   procedure goo641 () is
  1431.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1432.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1433.         begin
  1434.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1435.           return;
  1436.         end;
  1437.     var b1, b2, b3: integer := 0;
  1438.     begin
  1439.       bar6 (1,g2+g3,3,4,5,6);
  1440.       return;
  1441.     end;
  1442.  
  1443.   procedure goo642 (a1: integer) is
  1444.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1445.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1446.         begin
  1447.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1448.           return;
  1449.         end;
  1450.     var b1, b2, b3: integer := 0;
  1451.     begin
  1452.       bar6 (1,g2+g3,3,4,5,6);
  1453.       return;
  1454.     end;
  1455.  
  1456.   procedure goo643 (a1, a2: integer) is
  1457.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1458.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1459.         begin
  1460.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1461.           return;
  1462.         end;
  1463.     var b1, b2, b3: integer := 0;
  1464.     begin
  1465.       bar6 (1,g2+g3,3,4,5,6);
  1466.       return;
  1467.     end;
  1468.  
  1469.   procedure goo644 (a1, a2, a3: integer) is
  1470.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1471.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1472.         begin
  1473.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1474.           return;
  1475.         end;
  1476.     var b1, b2, b3: integer := 0;
  1477.     begin
  1478.       bar6 (1,g2+g3,3,4,5,6);
  1479.       return;
  1480.     end;
  1481.   (********)
  1482.  
  1483. (***  Try routines that call bar7 ***)
  1484.   (***  Try all combinations of different number of parameters and locals ***)
  1485.   procedure goo711 () is
  1486.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1487.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1488.         begin
  1489.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1490.           return;
  1491.         end;
  1492.     begin
  1493.       bar7 (1,g2+g3,3,4,5,6,7);
  1494.       return;
  1495.     end;
  1496.  
  1497.   procedure goo712 (a1: integer) is
  1498.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1499.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1500.         begin
  1501.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1502.           return;
  1503.         end;
  1504.     begin
  1505.       bar7 (1,g2+g3,3,4,5,6,7);
  1506.       return;
  1507.     end;
  1508.  
  1509.   procedure goo713 (a1, a2: integer) is
  1510.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1511.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1512.         begin
  1513.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1514.           return;
  1515.         end;
  1516.     begin
  1517.       bar7 (1,g2+g3,3,4,5,6,7);
  1518.       return;
  1519.     end;
  1520.  
  1521.   procedure goo714 (a1, a2, a3: integer) is
  1522.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1523.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1524.         begin
  1525.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1526.           return;
  1527.         end;
  1528.     begin
  1529.       bar7 (1,g2+g3,3,4,5,6,7);
  1530.       return;
  1531.     end;
  1532.  
  1533.   procedure goo721 () is
  1534.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1535.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1536.         begin
  1537.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1538.           return;
  1539.         end;
  1540.     var b1: integer := 0;
  1541.     begin
  1542.       bar7 (1,g2+g3,3,4,5,6,7);
  1543.       return;
  1544.     end;
  1545.  
  1546.   procedure goo722 (a1: integer) is
  1547.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1548.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1549.         begin
  1550.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1551.           return;
  1552.         end;
  1553.     var b1: integer := 0;
  1554.     begin
  1555.       bar7 (1,g2+g3,3,4,5,6,7);
  1556.       return;
  1557.     end;
  1558.  
  1559.   procedure goo723 (a1, a2: integer) is
  1560.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1561.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1562.         begin
  1563.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1564.           return;
  1565.         end;
  1566.     var b1: integer := 0;
  1567.     begin
  1568.       bar7 (1,g2+g3,3,4,5,6,7);
  1569.       return;
  1570.     end;
  1571.  
  1572.   procedure goo724 (a1, a2, a3: integer) is
  1573.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1574.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1575.         begin
  1576.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1577.           return;
  1578.         end;
  1579.     var b1: integer := 0;
  1580.     begin
  1581.       bar7 (1,g2+g3,3,4,5,6,7);
  1582.       return;
  1583.     end;
  1584.  
  1585.   procedure goo731 () is
  1586.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1587.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1588.         begin
  1589.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1590.           return;
  1591.         end;
  1592.     var b1, b2: integer := 0;
  1593.     begin
  1594.       bar7 (1,g2+g3,3,4,5,6,7);
  1595.       return;
  1596.     end;
  1597.  
  1598.   procedure goo732 (a1: integer) is
  1599.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1600.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1601.         begin
  1602.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1603.           return;
  1604.         end;
  1605.     var b1, b2: integer := 0;
  1606.     begin
  1607.       bar7 (1,g2+g3,3,4,5,6,7);
  1608.       return;
  1609.     end;
  1610.  
  1611.   procedure goo733 (a1, a2: integer) is
  1612.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1613.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1614.         begin
  1615.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1616.           return;
  1617.         end;
  1618.     var b1, b2: integer := 0;
  1619.     begin
  1620.       bar7 (1,g2+g3,3,4,5,6,7);
  1621.       return;
  1622.     end;
  1623.  
  1624.   procedure goo734 (a1, a2, a3: integer) is
  1625.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1626.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1627.         begin
  1628.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1629.           return;
  1630.         end;
  1631.     var b1, b2: integer := 0;
  1632.     begin
  1633.       bar7 (1,g2+g3,3,4,5,6,7);
  1634.       return;
  1635.     end;
  1636.  
  1637.   procedure goo741 () is
  1638.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1639.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1640.         begin
  1641.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1642.           return;
  1643.         end;
  1644.     var b1, b2, b3: integer := 0;
  1645.     begin
  1646.       bar7 (1,g2+g3,3,4,5,6,7);
  1647.       return;
  1648.     end;
  1649.  
  1650.   procedure goo742 (a1: integer) is
  1651.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1652.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1653.         begin
  1654.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1655.           return;
  1656.         end;
  1657.     var b1, b2, b3: integer := 0;
  1658.     begin
  1659.       bar7 (1,g2+g3,3,4,5,6,7);
  1660.       return;
  1661.     end;
  1662.  
  1663.   procedure goo743 (a1, a2: integer) is
  1664.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1665.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1666.         begin
  1667.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1668.           return;
  1669.         end;
  1670.     var b1, b2, b3: integer := 0;
  1671.     begin
  1672.       bar7 (1,g2+g3,3,4,5,6,7);
  1673.       return;
  1674.     end;
  1675.  
  1676.   procedure goo744 (a1, a2, a3: integer) is
  1677.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1678.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1679.         begin
  1680.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1681.           return;
  1682.         end;
  1683.     var b1, b2, b3: integer := 0;
  1684.     begin
  1685.       bar7 (1,g2+g3,3,4,5,6,7);
  1686.       return;
  1687.     end;
  1688.   (********)
  1689.  
  1690. (***  Try routines that call bar8 ***)
  1691.   (***  Try all combinations of different number of parameters and locals ***)
  1692.   procedure goo811 () is
  1693.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1694.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1695.         begin
  1696.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1697.           return;
  1698.         end;
  1699.     begin
  1700.       bar8 (1,g2+g3,3,4,5,6,7,8);
  1701.       return;
  1702.     end;
  1703.  
  1704.   procedure goo812 (a1: integer) is
  1705.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1706.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1707.         begin
  1708.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1709.           return;
  1710.         end;
  1711.     begin
  1712.       bar8 (1,g2+g3,3,4,5,6,7,8);
  1713.       return;
  1714.     end;
  1715.  
  1716.   procedure goo813 (a1, a2: integer) is
  1717.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1718.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1719.         begin
  1720.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1721.           return;
  1722.         end;
  1723.     begin
  1724.       bar8 (1,g2+g3,3,4,5,6,7,8);
  1725.       return;
  1726.     end;
  1727.  
  1728.   procedure goo814 (a1, a2, a3: integer) is
  1729.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1730.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1731.         begin
  1732.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1733.           return;
  1734.         end;
  1735.     begin
  1736.       bar8 (1,g2+g3,3,4,5,6,7,8);
  1737.       return;
  1738.     end;
  1739.  
  1740.   procedure goo821 () is
  1741.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1742.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1743.         begin
  1744.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1745.           return;
  1746.         end;
  1747.     var b1: integer := 0;
  1748.     begin
  1749.       bar8 (1,g2+g3,3,4,5,6,7,8);
  1750.       return;
  1751.     end;
  1752.  
  1753.   procedure goo822 (a1: integer) is
  1754.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1755.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1756.         begin
  1757.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1758.           return;
  1759.         end;
  1760.     var b1: integer := 0;
  1761.     begin
  1762.       bar8 (1,g2+g3,3,4,5,6,7,8);
  1763.       return;
  1764.     end;
  1765.  
  1766.   procedure goo823 (a1, a2: integer) is
  1767.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1768.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1769.         begin
  1770.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1771.           return;
  1772.         end;
  1773.     var b1: integer := 0;
  1774.     begin
  1775.       bar8 (1,g2+g3,3,4,5,6,7,8);
  1776.       return;
  1777.     end;
  1778.  
  1779.   procedure goo824 (a1, a2, a3: integer) is
  1780.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1781.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1782.         begin
  1783.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1784.           return;
  1785.         end;
  1786.     var b1: integer := 0;
  1787.     begin
  1788.       bar8 (1,g2+g3,3,4,5,6,7,8);
  1789.       return;
  1790.     end;
  1791.  
  1792.   procedure goo831 () is
  1793.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1794.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1795.         begin
  1796.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1797.           return;
  1798.         end;
  1799.     var b1, b2: integer := 0;
  1800.     begin
  1801.       bar8 (1,g2+g3,3,4,5,6,7,8);
  1802.       return;
  1803.     end;
  1804.  
  1805.   procedure goo832 (a1: integer) is
  1806.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1807.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1808.         begin
  1809.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1810.           return;
  1811.         end;
  1812.     var b1, b2: integer := 0;
  1813.     begin
  1814.       bar8 (1,g2+g3,3,4,5,6,7,8);
  1815.       return;
  1816.     end;
  1817.  
  1818.   procedure goo833 (a1, a2: integer) is
  1819.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1820.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1821.         begin
  1822.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1823.           return;
  1824.         end;
  1825.     var b1, b2: integer := 0;
  1826.     begin
  1827.       bar8 (1,g2+g3,3,4,5,6,7,8);
  1828.       return;
  1829.     end;
  1830.  
  1831.   procedure goo834 (a1, a2, a3: integer) is
  1832.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1833.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1834.         begin
  1835.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1836.           return;
  1837.         end;
  1838.     var b1, b2: integer := 0;
  1839.     begin
  1840.       bar8 (1,g2+g3,3,4,5,6,7,8);
  1841.       return;
  1842.     end;
  1843.  
  1844.   procedure goo841 () is
  1845.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1846.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1847.         begin
  1848.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1849.           return;
  1850.         end;
  1851.     var b1, b2, b3: integer := 0;
  1852.     begin
  1853.       bar8 (1,g2+g3,3,4,5,6,7,8);
  1854.       return;
  1855.     end;
  1856.  
  1857.   procedure goo842 (a1: integer) is
  1858.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1859.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1860.         begin
  1861.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1862.           return;
  1863.         end;
  1864.     var b1, b2, b3: integer := 0;
  1865.     begin
  1866.       bar8 (1,g2+g3,3,4,5,6,7,8);
  1867.       return;
  1868.     end;
  1869.  
  1870.   procedure goo843 (a1, a2: integer) is
  1871.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1872.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1873.         begin
  1874.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1875.           return;
  1876.         end;
  1877.     var b1, b2, b3: integer := 0;
  1878.     begin
  1879.       bar8 (1,g2+g3,3,4,5,6,7,8);
  1880.       return;
  1881.     end;
  1882.  
  1883.   procedure goo844 (a1, a2, a3: integer) is
  1884.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1885.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1886.         begin
  1887.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1888.           return;
  1889.         end;
  1890.     var b1, b2, b3: integer := 0;
  1891.     begin
  1892.       bar8 (1,g2+g3,3,4,5,6,7,8);
  1893.       return;
  1894.     end;
  1895.   (********)
  1896.  
  1897. (***  Try routines that call bar9 ***)
  1898.   (***  Try all combinations of different number of parameters and locals ***)
  1899.   procedure goo911 () is
  1900.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1901.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1902.         begin
  1903.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1904.           return;
  1905.         end;
  1906.     begin
  1907.       bar9 (1,g2+g3,3,4,5,6,7,8,9);
  1908.       return;
  1909.     end;
  1910.  
  1911.   procedure goo912 (a1: integer) is
  1912.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1913.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1914.         begin
  1915.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1916.           return;
  1917.         end;
  1918.     begin
  1919.       bar9 (1,g2+g3,3,4,5,6,7,8,9);
  1920.       return;
  1921.     end;
  1922.  
  1923.   procedure goo913 (a1, a2: integer) is
  1924.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1925.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1926.         begin
  1927.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1928.           return;
  1929.         end;
  1930.     begin
  1931.       bar9 (1,g2+g3,3,4,5,6,7,8,9);
  1932.       return;
  1933.     end;
  1934.  
  1935.   procedure goo914 (a1, a2, a3: integer) is
  1936.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1937.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1938.         begin
  1939.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1940.           return;
  1941.         end;
  1942.     begin
  1943.       bar9 (1,g2+g3,3,4,5,6,7,8,9);
  1944.       return;
  1945.     end;
  1946.  
  1947.   procedure goo921 () is
  1948.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1949.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1950.         begin
  1951.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1952.           return;
  1953.         end;
  1954.     var b1: integer := 0;
  1955.     begin
  1956.       bar9 (1,g2+g3,3,4,5,6,7,8,9);
  1957.       return;
  1958.     end;
  1959.  
  1960.   procedure goo922 (a1: integer) is
  1961.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1962.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1963.         begin
  1964.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1965.           return;
  1966.         end;
  1967.     var b1: integer := 0;
  1968.     begin
  1969.       bar9 (1,g2+g3,3,4,5,6,7,8,9);
  1970.       return;
  1971.     end;
  1972.  
  1973.   procedure goo923 (a1, a2: integer) is
  1974.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1975.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1976.         begin
  1977.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1978.           return;
  1979.         end;
  1980.     var b1: integer := 0;
  1981.     begin
  1982.       bar9 (1,g2+g3,3,4,5,6,7,8,9);
  1983.       return;
  1984.     end;
  1985.  
  1986.   procedure goo924 (a1, a2, a3: integer) is
  1987.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  1988.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  1989.         begin
  1990.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  1991.           return;
  1992.         end;
  1993.     var b1: integer := 0;
  1994.     begin
  1995.       bar9 (1,g2+g3,3,4,5,6,7,8,9);
  1996.       return;
  1997.     end;
  1998.  
  1999.   procedure goo931 () is
  2000.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  2001.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  2002.         begin
  2003.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  2004.           return;
  2005.         end;
  2006.     var b1, b2: integer := 0;
  2007.     begin
  2008.       bar9 (1,g2+g3,3,4,5,6,7,8,9);
  2009.       return;
  2010.     end;
  2011.  
  2012.   procedure goo932 (a1: integer) is
  2013.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  2014.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  2015.         begin
  2016.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  2017.           return;
  2018.         end;
  2019.     var b1, b2: integer := 0;
  2020.     begin
  2021.       bar9 (1,g2+g3,3,4,5,6,7,8,9);
  2022.       return;
  2023.     end;
  2024.  
  2025.   procedure goo933 (a1, a2: integer) is
  2026.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  2027.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  2028.         begin
  2029.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  2030.           return;
  2031.         end;
  2032.     var b1, b2: integer := 0;
  2033.     begin
  2034.       bar9 (1,g2+g3,3,4,5,6,7,8,9);
  2035.       return;
  2036.     end;
  2037.  
  2038.   procedure goo934 (a1, a2, a3: integer) is
  2039.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  2040.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  2041.         begin
  2042.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  2043.           return;
  2044.         end;
  2045.     var b1, b2: integer := 0;
  2046.     begin
  2047.       bar9 (1,g2+g3,3,4,5,6,7,8,9);
  2048.       return;
  2049.     end;
  2050.  
  2051.   procedure goo941 () is
  2052.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  2053.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  2054.         begin
  2055.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  2056.           return;
  2057.         end;
  2058.     var b1, b2, b3: integer := 0;
  2059.     begin
  2060.       bar9 (1,g2+g3,3,4,5,6,7,8,9);
  2061.       return;
  2062.     end;
  2063.  
  2064.   procedure goo942 (a1: integer) is
  2065.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  2066.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  2067.         begin
  2068.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  2069.           return;
  2070.         end;
  2071.     var b1, b2, b3: integer := 0;
  2072.     begin
  2073.       bar9 (1,g2+g3,3,4,5,6,7,8,9);
  2074.       return;
  2075.     end;
  2076.  
  2077.   procedure goo943 (a1, a2: integer) is
  2078.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  2079.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  2080.         begin
  2081.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  2082.           return;
  2083.         end;
  2084.     var b1, b2, b3: integer := 0;
  2085.     begin
  2086.       bar9 (1,g2+g3,3,4,5,6,7,8,9);
  2087.       return;
  2088.     end;
  2089.  
  2090.   procedure goo944 (a1, a2, a3: integer) is
  2091.       procedure distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12: integer) is
  2092.         var b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12: integer := 0;
  2093.         begin
  2094.           distraction (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12);
  2095.           return;
  2096.         end;
  2097.     var b1, b2, b3: integer := 0;
  2098.     begin
  2099.       bar9 (1,g2+g3,3,4,5,6,7,8,9);
  2100.       return;
  2101.     end;
  2102.   (********)
  2103.  
  2104. begin
  2105.     distraction (1,2,3,4,5,6,7,8,9,10,11,12);
  2106. end;
  2107.