]> oss.titaniummirror.com Git - msp430-gcc.git/blobdiff - gcc/ada/atree.adb
Imported gcc-4.4.3
[msp430-gcc.git] / gcc / ada / atree.adb
diff --git a/gcc/ada/atree.adb b/gcc/ada/atree.adb
deleted file mode 100644 (file)
index 1bffb92..0000000
+++ /dev/null
@@ -1,5927 +0,0 @@
-------------------------------------------------------------------------------
---                                                                          --
---                         GNAT COMPILER COMPONENTS                         --
---                                                                          --
---                                A T R E E                                 --
---                                                                          --
---                                 B o d y                                  --
---                                                                          --
---                            $Revision: 1.2.12.1 $
---                                                                          --
---          Copyright (C) 1992-2001, Free Software Foundation, Inc.         --
---                                                                          --
--- GNAT is free software;  you can  redistribute it  and/or modify it under --
--- terms of the  GNU General Public License as published  by the Free Soft- --
--- ware  Foundation;  either version 2,  or (at your option) any later ver- --
--- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
--- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
--- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
--- for  more details.  You should have  received  a copy of the GNU General --
--- Public License  distributed with GNAT;  see file COPYING.  If not, write --
--- to  the Free Software Foundation,  59 Temple Place - Suite 330,  Boston, --
--- MA 02111-1307, USA.                                                      --
---                                                                          --
--- As a special exception,  if other files  instantiate  generics from this --
--- unit, or you link  this unit with other files  to produce an executable, --
--- this  unit  does not  by itself cause  the resulting  executable  to  be --
--- covered  by the  GNU  General  Public  License.  This exception does not --
--- however invalidate  any other reasons why  the executable file  might be --
--- covered by the  GNU Public License.                                      --
---                                                                          --
--- GNAT was originally developed  by the GNAT team at  New York University. --
--- Extensive contributions were provided by Ada Core Technologies Inc.      --
---                                                                          --
-------------------------------------------------------------------------------
-
-pragma Style_Checks (All_Checks);
---  Turn off subprogram ordering check for this package
-
---  WARNING: There is a C version of this package. Any changes to this source
---  file must be properly reflected in the C header a-atree.h (for inlined
---  bodies) and the C file a-atree.c (for remaining non-inlined bodies).
-
-with Debug;   use Debug;
-with Nlists;  use Nlists;
-with Elists;  use Elists;
-with Output;  use Output;
-with Sinput;  use Sinput;
-with Tree_IO; use Tree_IO;
-
-with GNAT.HTable; use GNAT.HTable;
-
-package body Atree is
-
-   Node_Count : Nat;
-   --  Count allocated nodes for Num_Nodes function
-
-   use Unchecked_Access;
-   --  We are allowed to see these from within our own body!
-
-   use Atree_Private_Part;
-   --  We are also allowed to see our private data structures!
-
-   function E_To_N is new Unchecked_Conversion (Entity_Kind, Node_Kind);
-   function N_To_E is new Unchecked_Conversion (Node_Kind, Entity_Kind);
-   --  Functions used to store Entity_Kind value in Nkind field
-
-   --  The following declarations are used to store flags 65-72 in the
-   --  Nkind field of the third component of an extended (entity) node.
-
-   type Flag_Byte is record
-      Flag65 : Boolean;
-      Flag66 : Boolean;
-      Flag67 : Boolean;
-      Flag68 : Boolean;
-      Flag69 : Boolean;
-      Flag70 : Boolean;
-      Flag71 : Boolean;
-      Flag72 : Boolean;
-   end record;
-
-   pragma Pack (Flag_Byte);
-   for Flag_Byte'Size use 8;
-
-   type Flag_Byte_Ptr is access all Flag_Byte;
-   type Node_Kind_Ptr is access all Node_Kind;
-
-   function To_Flag_Byte is new
-     Unchecked_Conversion (Node_Kind, Flag_Byte);
-
-   function To_Flag_Byte_Ptr is new
-     Unchecked_Conversion (Node_Kind_Ptr, Flag_Byte_Ptr);
-
-   --  The following declarations are used to store flags 73-96 in the
-   --  Field12 field of the third component of an extended (entity) node.
-
-   type Flag_Word is record
-      Flag73 : Boolean;
-      Flag74 : Boolean;
-      Flag75 : Boolean;
-      Flag76 : Boolean;
-      Flag77 : Boolean;
-      Flag78 : Boolean;
-      Flag79 : Boolean;
-      Flag80 : Boolean;
-
-      Flag81 : Boolean;
-      Flag82 : Boolean;
-      Flag83 : Boolean;
-      Flag84 : Boolean;
-      Flag85 : Boolean;
-      Flag86 : Boolean;
-      Flag87 : Boolean;
-      Flag88 : Boolean;
-
-      Flag89 : Boolean;
-      Flag90 : Boolean;
-      Flag91 : Boolean;
-      Flag92 : Boolean;
-      Flag93 : Boolean;
-      Flag94 : Boolean;
-      Flag95 : Boolean;
-      Flag96 : Boolean;
-
-      Convention : Convention_Id;
-   end record;
-
-   pragma Pack (Flag_Word);
-   for Flag_Word'Size use 32;
-   for Flag_Word'Alignment use 4;
-
-   type Flag_Word_Ptr is access all Flag_Word;
-   type Union_Id_Ptr  is access all Union_Id;
-
-   function To_Flag_Word is new
-     Unchecked_Conversion (Union_Id, Flag_Word);
-
-   function To_Flag_Word_Ptr is new
-     Unchecked_Conversion (Union_Id_Ptr, Flag_Word_Ptr);
-
-   --  The following declarations are used to store flags 97-128 in the
-   --  Field12 field of the fourth component of an extended (entity) node.
-
-   type Flag_Word2 is record
-      Flag97  : Boolean;
-      Flag98  : Boolean;
-      Flag99  : Boolean;
-      Flag100 : Boolean;
-      Flag101 : Boolean;
-      Flag102 : Boolean;
-      Flag103 : Boolean;
-      Flag104 : Boolean;
-
-      Flag105 : Boolean;
-      Flag106 : Boolean;
-      Flag107 : Boolean;
-      Flag108 : Boolean;
-      Flag109 : Boolean;
-      Flag110 : Boolean;
-      Flag111 : Boolean;
-      Flag112 : Boolean;
-
-      Flag113 : Boolean;
-      Flag114 : Boolean;
-      Flag115 : Boolean;
-      Flag116 : Boolean;
-      Flag117 : Boolean;
-      Flag118 : Boolean;
-      Flag119 : Boolean;
-      Flag120 : Boolean;
-
-      Flag121 : Boolean;
-      Flag122 : Boolean;
-      Flag123 : Boolean;
-      Flag124 : Boolean;
-      Flag125 : Boolean;
-      Flag126 : Boolean;
-      Flag127 : Boolean;
-      Flag128 : Boolean;
-   end record;
-
-   pragma Pack (Flag_Word2);
-   for Flag_Word2'Size use 32;
-   for Flag_Word2'Alignment use 4;
-
-   type Flag_Word2_Ptr is access all Flag_Word2;
-
-   function To_Flag_Word2 is new
-     Unchecked_Conversion (Union_Id, Flag_Word2);
-
-   function To_Flag_Word2_Ptr is new
-     Unchecked_Conversion (Union_Id_Ptr, Flag_Word2_Ptr);
-
-   --  The following declarations are used to store flags 97-120 in the
-   --  Field12 field of the fourth component of an extended (entity) node.
-
-   type Flag_Word3 is record
-      Flag152  : Boolean;
-      Flag153 : Boolean;
-      Flag154 : Boolean;
-      Flag155 : Boolean;
-      Flag156 : Boolean;
-      Flag157 : Boolean;
-      Flag158 : Boolean;
-      Flag159 : Boolean;
-
-      Flag160 : Boolean;
-      Flag161 : Boolean;
-      Flag162 : Boolean;
-      Flag163 : Boolean;
-      Flag164 : Boolean;
-      Flag165 : Boolean;
-      Flag166 : Boolean;
-      Flag167 : Boolean;
-
-      Flag168 : Boolean;
-      Flag169 : Boolean;
-      Flag170 : Boolean;
-      Flag171 : Boolean;
-      Flag172 : Boolean;
-      Flag173 : Boolean;
-      Flag174 : Boolean;
-      Flag175 : Boolean;
-
-      Flag176 : Boolean;
-      Flag177 : Boolean;
-      Flag178 : Boolean;
-      Flag179 : Boolean;
-      Flag180 : Boolean;
-      Flag181 : Boolean;
-      Flag182 : Boolean;
-      Flag183 : Boolean;
-   end record;
-
-   pragma Pack (Flag_Word3);
-   for Flag_Word3'Size use 32;
-   for Flag_Word3'Alignment use 4;
-
-   type Flag_Word3_Ptr is access all Flag_Word3;
-
-   function To_Flag_Word3 is new
-     Unchecked_Conversion (Union_Id, Flag_Word3);
-
-   function To_Flag_Word3_Ptr is new
-     Unchecked_Conversion (Union_Id_Ptr, Flag_Word3_Ptr);
-
-   --  Default value used to initialize default nodes. Note that some of the
-   --  fields get overwritten, and in particular, Nkind always gets reset.
-
-   Default_Node : Node_Record := (
-      Is_Extension      => False,
-      Pflag1            => False,
-      Pflag2            => False,
-      In_List           => False,
-      Unused_1          => False,
-      Rewrite_Ins       => False,
-      Analyzed          => False,
-      Comes_From_Source => False, -- modified by Set_Comes_From_Source_Default
-      Error_Posted      => False,
-      Flag4             => False,
-
-      Flag5             => False,
-      Flag6             => False,
-      Flag7             => False,
-      Flag8             => False,
-      Flag9             => False,
-      Flag10            => False,
-      Flag11            => False,
-      Flag12            => False,
-
-      Flag13            => False,
-      Flag14            => False,
-      Flag15            => False,
-      Flag16            => False,
-      Flag17            => False,
-      Flag18            => False,
-
-      Nkind             => N_Unused_At_Start,
-
-      Sloc              => No_Location,
-      Link              => Empty_List_Or_Node,
-      Field1            => Empty_List_Or_Node,
-      Field2            => Empty_List_Or_Node,
-      Field3            => Empty_List_Or_Node,
-      Field4            => Empty_List_Or_Node,
-      Field5            => Empty_List_Or_Node);
-
-   --  Default value used to initialize node extensions (i.e. the second
-   --  and third and fourth components of an extended node). Note we are
-   --  cheating a bit here when it comes to Node12, which really holds
-   --  flags an (for the third component), the convention. But it works
-   --  because Empty, False, Convention_Ada, all happen to be all zero bits.
-
-   Default_Node_Extension : constant Node_Record := (
-      Is_Extension      => True,
-      Pflag1            => False,
-      Pflag2            => False,
-      In_List           => False,
-      Unused_1          => False,
-      Rewrite_Ins       => False,
-      Analyzed          => False,
-      Comes_From_Source => False,
-      Error_Posted      => False,
-      Flag4             => False,
-
-      Flag5             => False,
-      Flag6             => False,
-      Flag7             => False,
-      Flag8             => False,
-      Flag9             => False,
-      Flag10            => False,
-      Flag11            => False,
-      Flag12            => False,
-
-      Flag13            => False,
-      Flag14            => False,
-      Flag15            => False,
-      Flag16            => False,
-      Flag17            => False,
-      Flag18            => False,
-
-      Nkind             => E_To_N (E_Void),
-
-      Field6            => Empty_List_Or_Node,
-      Field7            => Empty_List_Or_Node,
-      Field8            => Empty_List_Or_Node,
-      Field9            => Empty_List_Or_Node,
-      Field10           => Empty_List_Or_Node,
-      Field11           => Empty_List_Or_Node,
-      Field12           => Empty_List_Or_Node);
-
-   --------------------------------------------------
-   -- Implementation of Tree Substitution Routines --
-   --------------------------------------------------
-
-   --  A separate table keeps track of the mapping between rewritten nodes
-   --  and their corresponding original tree nodes. Rewrite makes an entry
-   --  in this table for use by Original_Node. By default, if no call is
-   --  Rewrite, the entry in this table points to the original unwritten node.
-
-   --  Note: eventually, this should be a field in the Node directly, but
-   --  for now we do not want to disturb the efficiency of a power of 2
-   --  for the node size
-
-   package Orig_Nodes is new Table.Table (
-      Table_Component_Type => Node_Id,
-      Table_Index_Type     => Node_Id,
-      Table_Low_Bound      => First_Node_Id,
-      Table_Initial        => Alloc.Orig_Nodes_Initial,
-      Table_Increment      => Alloc.Orig_Nodes_Increment,
-      Table_Name           => "Orig_Nodes");
-
-   -----------------------
-   -- Local Subprograms --
-   -----------------------
-
-   procedure Fix_Parent (Field : Union_Id; Old_Node, New_Node : Node_Id);
-   --  This subprogram is used to fixup parent pointers that are rendered
-   --  incorrect because of a node copy. Field is checked to see if it
-   --  points to a node, list, or element list that has a parent that
-   --  points to Old_Node. If so, the parent is reset to point to New_Node.
-
-   --------------
-   -- Analyzed --
-   --------------
-
-   function Analyzed (N : Node_Id) return Boolean is
-   begin
-      pragma Assert (N in Nodes.First .. Nodes.Last);
-      return Nodes.Table (N).Analyzed;
-   end Analyzed;
-
-   -----------------
-   -- Change_Node --
-   -----------------
-
-   procedure Change_Node (N : Node_Id; New_Node_Kind : Node_Kind) is
-      Save_Sloc    : constant Source_Ptr := Sloc (N);
-      Save_In_List : constant Boolean    := Nodes.Table (N).In_List;
-      Save_Link    : constant Union_Id   := Nodes.Table (N).Link;
-      Save_CFS     : constant Boolean    := Nodes.Table (N).Comes_From_Source;
-      Save_Posted  : constant Boolean    := Nodes.Table (N).Error_Posted;
-      Par_Count    : Paren_Count_Type    := 0;
-
-   begin
-      if Nkind (N) in N_Subexpr then
-         Par_Count := Paren_Count (N);
-      end if;
-
-      Nodes.Table (N)                   := Default_Node;
-      Nodes.Table (N).Sloc              := Save_Sloc;
-      Nodes.Table (N).In_List           := Save_In_List;
-      Nodes.Table (N).Link              := Save_Link;
-      Nodes.Table (N).Comes_From_Source := Save_CFS;
-      Nodes.Table (N).Nkind             := New_Node_Kind;
-      Nodes.Table (N).Error_Posted      := Save_Posted;
-
-      if New_Node_Kind in N_Subexpr then
-         Set_Paren_Count (N, Par_Count);
-      end if;
-   end Change_Node;
-
-   -----------------------
-   -- Comes_From_Source --
-   -----------------------
-
-   function Comes_From_Source (N : Node_Id) return Boolean is
-   begin
-      pragma Assert (N in Nodes.First .. Nodes.Last);
-      return Nodes.Table (N).Comes_From_Source;
-   end Comes_From_Source;
-
-   ----------------
-   -- Convention --
-   ----------------
-
-   function Convention (E : Entity_Id) return Convention_Id is
-   begin
-      pragma Assert (Nkind (E) in N_Entity);
-      return To_Flag_Word (Nodes.Table (E + 2).Field12).Convention;
-   end Convention;
-
-   ---------------
-   -- Copy_Node --
-   ---------------
-
-   procedure Copy_Node (Source : Node_Id; Destination : Node_Id) is
-      Save_In_List : constant Boolean  := Nodes.Table (Destination).In_List;
-      Save_Link    : constant Union_Id := Nodes.Table (Destination).Link;
-
-   begin
-      Nodes.Table (Destination)         := Nodes.Table (Source);
-      Nodes.Table (Destination).In_List := Save_In_List;
-      Nodes.Table (Destination).Link    := Save_Link;
-
-      if Has_Extension (Source) then
-         pragma Assert (Has_Extension (Destination));
-         Nodes.Table (Destination + 1) := Nodes.Table (Source + 1);
-         Nodes.Table (Destination + 2) := Nodes.Table (Source + 2);
-         Nodes.Table (Destination + 3) := Nodes.Table (Source + 3);
-
-      else
-         pragma Assert (not Has_Extension (Source));
-         null;
-      end if;
-   end Copy_Node;
-
-   ------------------------
-   -- Copy_Separate_Tree --
-   ------------------------
-
-   function Copy_Separate_Tree (Source : Node_Id) return Node_Id is
-      New_Id  : Node_Id;
-
-      function Copy_Entity (E : Entity_Id) return Entity_Id;
-      --  Copy Entity, copying only the Ekind and Chars fields
-
-      function Copy_List (List : List_Id) return List_Id;
-      --  Copy list
-
-      function Possible_Copy (Field : Union_Id) return Union_Id;
-      --  Given a field, returns a copy of the node or list if its parent
-      --  is the current source node, and otherwise returns the input
-
-      -----------------
-      -- Copy_Entity --
-      -----------------
-
-      function Copy_Entity (E : Entity_Id) return Entity_Id is
-         New_Ent : Entity_Id;
-
-      begin
-         case N_Entity (Nkind (E)) is
-            when N_Defining_Identifier =>
-               New_Ent := New_Entity (N_Defining_Identifier, Sloc (E));
-
-            when N_Defining_Character_Literal =>
-               New_Ent := New_Entity (N_Defining_Character_Literal, Sloc (E));
-
-            when N_Defining_Operator_Symbol =>
-               New_Ent := New_Entity (N_Defining_Operator_Symbol, Sloc (E));
-         end case;
-
-         Set_Chars (New_Ent, Chars (E));
-         return New_Ent;
-      end Copy_Entity;
-
-      ---------------
-      -- Copy_List --
-      ---------------
-
-      function Copy_List (List : List_Id) return List_Id is
-         NL : List_Id;
-         E  : Node_Id;
-
-      begin
-         if List = No_List then
-            return No_List;
-
-         else
-            NL := New_List;
-            E := First (List);
-
-            while Present (E) loop
-
-               if Has_Extension (E) then
-                  Append (Copy_Entity (E), NL);
-               else
-                  Append (Copy_Separate_Tree (E), NL);
-               end if;
-
-               Next (E);
-            end loop;
-
-            return NL;
-         end if;
-
-      end Copy_List;
-
-      -------------------
-      -- Possible_Copy --
-      -------------------
-
-      function Possible_Copy (Field : Union_Id) return Union_Id is
-         New_N : Union_Id;
-
-      begin
-         if Field in Node_Range then
-
-            New_N := Union_Id (Copy_Separate_Tree (Node_Id (Field)));
-
-            if Parent (Node_Id (Field)) = Source then
-               Set_Parent (Node_Id (New_N), New_Id);
-            end if;
-
-            return New_N;
-
-         elsif Field in List_Range then
-            New_N := Union_Id (Copy_List (List_Id (Field)));
-
-            if Parent (List_Id (Field)) = Source then
-               Set_Parent (List_Id (New_N), New_Id);
-            end if;
-
-            return New_N;
-
-         else
-            return Field;
-         end if;
-      end Possible_Copy;
-
-   --  Start of processing for Copy_Separate_Tree
-
-   begin
-      if Source <= Empty_Or_Error then
-         return Source;
-
-      elsif Has_Extension (Source) then
-         return Copy_Entity (Source);
-
-      else
-         Nodes.Increment_Last;
-         New_Id := Nodes.Last;
-         Nodes.Table (New_Id) := Nodes.Table (Source);
-         Nodes.Table (New_Id).Link := Empty_List_Or_Node;
-         Nodes.Table (New_Id).In_List := False;
-         Nodes.Table (New_Id).Rewrite_Ins := False;
-         Node_Count := Node_Count + 1;
-
-         Orig_Nodes.Increment_Last;
-         Allocate_List_Tables (Nodes.Last);
-         Orig_Nodes.Table (New_Id) := New_Id;
-
-         --  Recursively copy descendents
-
-         Set_Field1 (New_Id, Possible_Copy (Field1 (New_Id)));
-         Set_Field2 (New_Id, Possible_Copy (Field2 (New_Id)));
-         Set_Field3 (New_Id, Possible_Copy (Field3 (New_Id)));
-         Set_Field4 (New_Id, Possible_Copy (Field4 (New_Id)));
-         Set_Field5 (New_Id, Possible_Copy (Field5 (New_Id)));
-
-         --  Set Entity field to Empty
-         --  Why is this done??? and why is it always right to do it???
-
-         if Nkind (New_Id) in N_Has_Entity
-           or else Nkind (New_Id) = N_Freeze_Entity
-         then
-            Set_Entity (New_Id, Empty);
-         end if;
-
-         --  All done, return copied node
-
-         return New_Id;
-      end if;
-   end Copy_Separate_Tree;
-
-   -----------------
-   -- Delete_Node --
-   -----------------
-
-   procedure Delete_Node (Node : Node_Id) is
-   begin
-      pragma Assert (not Nodes.Table (Node).In_List);
-
-      if Debug_Flag_N then
-         Write_Str ("Delete node ");
-         Write_Int (Int (Node));
-         Write_Eol;
-      end if;
-
-      Nodes.Table (Node)       := Default_Node;
-      Nodes.Table (Node).Nkind := N_Unused_At_Start;
-      Node_Count := Node_Count - 1;
-
-      --  Note: for now, we are not bothering to reuse deleted nodes
-
-   end Delete_Node;
-
-   -----------------
-   -- Delete_Tree --
-   -----------------
-
-   procedure Delete_Tree (Node : Node_Id) is
-
-      procedure Delete_Field (F : Union_Id);
-      --  Delete item pointed to by field F if it is a syntactic element
-
-      procedure Delete_List (L : List_Id);
-      --  Delete all elements on the given list
-
-      procedure Delete_Field (F : Union_Id) is
-      begin
-         if F = Union_Id (Empty) then
-            return;
-
-         elsif F in Node_Range
-           and then Parent (Node_Id (F)) = Node
-         then
-            Delete_Tree (Node_Id (F));
-
-         elsif F in List_Range
-           and then Parent (List_Id (F)) = Node
-         then
-            Delete_List (List_Id (F));
-
-         --  No need to test Elist case, there are no syntactic Elists
-
-         else
-            return;
-         end if;
-      end Delete_Field;
-
-      procedure Delete_List (L : List_Id) is
-      begin
-         while Is_Non_Empty_List (L) loop
-            Delete_Tree (Remove_Head (L));
-         end loop;
-      end Delete_List;
-
-   --  Start of processing for Delete_Tree
-
-   begin
-      --  Delete descendents
-
-      Delete_Field (Field1 (Node));
-      Delete_Field (Field2 (Node));
-      Delete_Field (Field3 (Node));
-      Delete_Field (Field4 (Node));
-      Delete_Field (Field5 (Node));
-
-   end Delete_Tree;
-
-   -----------
-   -- Ekind --
-   -----------
-
-   function Ekind (E : Entity_Id) return Entity_Kind is
-   begin
-      pragma Assert (Nkind (E) in N_Entity);
-      return N_To_E (Nodes.Table (E + 1).Nkind);
-   end Ekind;
-
-   ------------------
-   -- Error_Posted --
-   ------------------
-
-   function Error_Posted (N : Node_Id) return Boolean is
-   begin
-      pragma Assert (N in Nodes.First .. Nodes.Last);
-      return Nodes.Table (N).Error_Posted;
-   end Error_Posted;
-
-   -----------------------
-   -- Exchange_Entities --
-   -----------------------
-
-   procedure Exchange_Entities (E1 : Entity_Id; E2 : Entity_Id) is
-      Temp_Ent : Node_Record;
-
-   begin
-      pragma Assert (Has_Extension (E1)
-        and then Has_Extension (E2)
-        and then not Nodes.Table (E1).In_List
-        and then not Nodes.Table (E2).In_List);
-
-      --  Exchange the contents of the two entities
-
-      Temp_Ent := Nodes.Table (E1);
-      Nodes.Table (E1) := Nodes.Table (E2);
-      Nodes.Table (E2) := Temp_Ent;
-      Temp_Ent := Nodes.Table (E1 + 1);
-      Nodes.Table (E1 + 1) := Nodes.Table (E2 + 1);
-      Nodes.Table (E2 + 1) := Temp_Ent;
-      Temp_Ent := Nodes.Table (E1 + 2);
-      Nodes.Table (E1 + 2) := Nodes.Table (E2 + 2);
-      Nodes.Table (E2 + 2) := Temp_Ent;
-      Temp_Ent := Nodes.Table (E1 + 3);
-      Nodes.Table (E1 + 3) := Nodes.Table (E2 + 3);
-      Nodes.Table (E2 + 3) := Temp_Ent;
-
-      --  That exchange exchanged the parent pointers as well, which is what
-      --  we want, but we need to patch up the defining identifier pointers
-      --  in the parent nodes (the child pointers) to match this switch
-      --  unless for Implicit types entities which have no parent, in which
-      --  case we don't do anything otherwise we won't be able to revert back
-      --  to the original situation.
-
-      --  Shouldn't this use Is_Itype instead of the Parent test
-
-      if Present (Parent (E1)) and then Present (Parent (E2)) then
-         Set_Defining_Identifier (Parent (E1), E1);
-         Set_Defining_Identifier (Parent (E2), E2);
-      end if;
-   end Exchange_Entities;
-
-   -----------------
-   -- Extend_Node --
-   -----------------
-
-   function Extend_Node (Node : Node_Id) return Entity_Id is
-      Result : Entity_Id;
-
-      procedure Debug_Extend_Node;
-      --  Debug routine for debug flag N
-
-      procedure Debug_Extend_Node is
-      begin
-         if Debug_Flag_N then
-            Write_Str ("Extend node ");
-            Write_Int (Int (Node));
-
-            if Result = Node then
-               Write_Str (" in place");
-            else
-               Write_Str (" copied to ");
-               Write_Int (Int (Result));
-            end if;
-
-            --  Write_Eol;
-         end if;
-      end Debug_Extend_Node;
-
-      pragma Inline (Debug_Extend_Node);
-
-   begin
-      if Node /= Nodes.Last then
-         Nodes.Increment_Last;
-         Nodes.Table (Nodes.Last) := Nodes.Table (Node);
-         Result := Nodes.Last;
-
-         Orig_Nodes.Increment_Last;
-         Orig_Nodes.Table (Nodes.Last) := Nodes.Last;
-
-      else
-         Result := Node;
-      end if;
-
-      Nodes.Increment_Last;
-      Nodes.Table (Nodes.Last) := Default_Node_Extension;
-      Nodes.Increment_Last;
-      Nodes.Table (Nodes.Last) := Default_Node_Extension;
-      Nodes.Increment_Last;
-      Nodes.Table (Nodes.Last) := Default_Node_Extension;
-
-      Orig_Nodes.Set_Last (Nodes.Last);
-      Allocate_List_Tables (Nodes.Last);
-
-      pragma Debug (Debug_Extend_Node);
-      return Result;
-   end Extend_Node;
-
-   ----------------
-   -- Fix_Parent --
-   ----------------
-
-   procedure Fix_Parent (Field : Union_Id; Old_Node, New_Node : Node_Id) is
-   begin
-      --  Fix parent of node that is referenced by Field. Note that we must
-      --  exclude the case where the node is a member of a list, because in
-      --  this case the parent is the parent of the list.
-
-      if Field in Node_Range
-        and then Present (Node_Id (Field))
-        and then not Nodes.Table (Node_Id (Field)).In_List
-        and then Parent (Node_Id (Field)) = Old_Node
-      then
-         Set_Parent (Node_Id (Field), New_Node);
-
-      --  Fix parent of list that is referenced by Field
-
-      elsif Field in List_Range
-        and then Present (List_Id (Field))
-        and then Parent (List_Id (Field)) = Old_Node
-      then
-         Set_Parent (List_Id (Field), New_Node);
-      end if;
-
-   end Fix_Parent;
-
-   -----------------------------------
-   -- Get_Comes_From_Source_Default --
-   -----------------------------------
-
-   function Get_Comes_From_Source_Default return Boolean is
-   begin
-      return Default_Node.Comes_From_Source;
-   end Get_Comes_From_Source_Default;
-
-   -------------------
-   -- Has_Extension --
-   -------------------
-
-   function Has_Extension (N : Node_Id) return Boolean is
-   begin
-      return N < Nodes.Last and then Nodes.Table (N + 1).Is_Extension;
-   end Has_Extension;
-
-   ----------------
-   -- Initialize --
-   ----------------
-
-   procedure Initialize is
-      Dummy : Node_Id;
-
-   begin
-      --  Allocate Empty node
-
-      Dummy := New_Node (N_Empty, No_Location);
-      Set_Name1 (Empty, No_Name);
-
-      --  Allocate Error node, and set Error_Posted, since we certainly
-      --  only generate an Error node if we do post some kind of error!
-
-      Dummy := New_Node (N_Error, No_Location);
-      Set_Name1 (Error, Error_Name);
-      Set_Error_Posted (Error, True);
-   end Initialize;
-
-   --------------------------
-   -- Is_Rewrite_Insertion --
-   --------------------------
-
-   function Is_Rewrite_Insertion (Node : Node_Id) return Boolean is
-   begin
-      return Nodes.Table (Node).Rewrite_Ins;
-   end Is_Rewrite_Insertion;
-
-   -----------------------------
-   -- Is_Rewrite_Substitution --
-   -----------------------------
-
-   function Is_Rewrite_Substitution (Node : Node_Id) return Boolean is
-   begin
-      return Orig_Nodes.Table (Node) /= Node;
-   end Is_Rewrite_Substitution;
-
-   ------------------
-   -- Last_Node_Id --
-   ------------------
-
-   function Last_Node_Id return Node_Id is
-   begin
-      return Nodes.Last;
-   end Last_Node_Id;
-
-   ----------
-   -- Lock --
-   ----------
-
-   procedure Lock is
-   begin
-      Nodes.Locked := True;
-      Orig_Nodes.Locked := True;
-      Nodes.Release;
-      Orig_Nodes.Release;
-   end Lock;
-
-   ----------------------------
-   -- Mark_Rewrite_Insertion --
-   ----------------------------
-
-   procedure Mark_Rewrite_Insertion (New_Node : Node_Id) is
-   begin
-      Nodes.Table (New_Node).Rewrite_Ins := True;
-   end Mark_Rewrite_Insertion;
-
-   --------------
-   -- New_Copy --
-   --------------
-
-   function New_Copy (Source : Node_Id) return Node_Id is
-      New_Id : Node_Id;
-
-   begin
-      if Source <= Empty_Or_Error then
-         return Source;
-
-      else
-         Nodes.Increment_Last;
-         New_Id := Nodes.Last;
-         Nodes.Table (New_Id) := Nodes.Table (Source);
-         Nodes.Table (New_Id).Link := Empty_List_Or_Node;
-         Nodes.Table (New_Id).In_List := False;
-         Nodes.Table (New_Id).Rewrite_Ins := False;
-
-         Orig_Nodes.Increment_Last;
-         Orig_Nodes.Table (New_Id) := New_Id;
-
-         if Has_Extension (Source) then
-            Nodes.Increment_Last;
-            Nodes.Table (New_Id + 1) := Nodes.Table (Source + 1);
-            Nodes.Increment_Last;
-            Nodes.Table (New_Id + 2) := Nodes.Table (Source + 2);
-            Nodes.Increment_Last;
-            Nodes.Table (New_Id + 3) := Nodes.Table (Source + 3);
-
-            Orig_Nodes.Set_Last (Nodes.Last);
-         end if;
-
-         Allocate_List_Tables (Nodes.Last);
-         Node_Count := Node_Count + 1;
-         return New_Id;
-      end if;
-   end New_Copy;
-
-   -------------------
-   -- New_Copy_Tree --
-   -------------------
-
-   --  Our approach here requires a two pass traversal of the tree. The
-   --  first pass visits all nodes that eventually will be copied looking
-   --  for defining Itypes. If any defining Itypes are found, then they are
-   --  copied, and an entry is added to the replacement map. In the second
-   --  phase, the tree is copied, using the replacement map to replace any
-   --  Itype references within the copied tree.
-
-   --  The following hash tables are used if the Map supplied has more
-   --  than hash threshhold entries to speed up access to the map. If
-   --  there are fewer entries, then the map is searched sequentially
-   --  (because setting up a hash table for only a few entries takes
-   --  more time than it saves.
-
-   --  Global variables are safe for this purpose, since there is no case
-   --  of a recursive call from the processing inside New_Copy_Tree.
-
-   NCT_Hash_Threshhold : constant := 20;
-   --  If there are more than this number of pairs of entries in the
-   --  map, then Hash_Tables_Used will be set, and the hash tables will
-   --  be initialized and used for the searches.
-
-   NCT_Hash_Tables_Used : Boolean := False;
-   --  Set to True if hash tables are in use
-
-   NCT_Table_Entries : Nat;
-   --  Count entries in table to see if threshhold is reached
-
-   NCT_Hash_Table_Setup : Boolean := False;
-   --  Set to True if hash table contains data. We set this True if we
-   --  setup the hash table with data, and leave it set permanently
-   --  from then on, this is a signal that second and subsequent users
-   --  of the hash table must clear the old entries before reuse.
-
-   subtype NCT_Header_Num is Int range 0 .. 511;
-   --  Defines range of headers in hash tables (512 headers)
-
-   function New_Copy_Hash (E : Entity_Id) return NCT_Header_Num;
-   --  Hash function used for hash operations
-
-   function New_Copy_Hash (E : Entity_Id) return NCT_Header_Num is
-   begin
-      return Nat (E) mod (NCT_Header_Num'Last + 1);
-   end New_Copy_Hash;
-
-   --  The hash table NCT_Assoc associates old entities in the table
-   --  with their corresponding new entities (i.e. the pairs of entries
-   --  presented in the original Map argument are Key-Element pairs).
-
-   package NCT_Assoc is new Simple_HTable (
-     Header_Num => NCT_Header_Num,
-     Element    => Entity_Id,
-     No_Element => Empty,
-     Key        => Entity_Id,
-     Hash       => New_Copy_Hash,
-     Equal      => Types."=");
-
-   --  The hash table NCT_Itype_Assoc contains entries only for those
-   --  old nodes which have a non-empty Associated_Node_For_Itype set.
-   --  The key is the associated node, and the element is the new node
-   --  itself (NOT the associated node for the new node).
-
-   package NCT_Itype_Assoc is new Simple_HTable (
-     Header_Num => NCT_Header_Num,
-     Element    => Entity_Id,
-     No_Element => Empty,
-     Key        => Entity_Id,
-     Hash       => New_Copy_Hash,
-     Equal      => Types."=");
-
-   --  Start of New_Copy_Tree function
-
-   function New_Copy_Tree
-     (Source    : Node_Id;
-      Map       : Elist_Id := No_Elist;
-      New_Sloc  : Source_Ptr := No_Location;
-      New_Scope : Entity_Id := Empty)
-      return      Node_Id
-   is
-      Actual_Map : Elist_Id := Map;
-      --  This is the actual map for the copy. It is initialized with the
-      --  given elements, and then enlarged as required for Itypes that are
-      --  copied during the first phase of the copy operation. The visit
-      --  procedures add elements to this map as Itypes are encountered.
-      --  The reason we cannot use Map directly, is that it may well be
-      --  (and normally is) initialized to No_Elist, and if we have mapped
-      --  entities, we have to reset it to point to a real Elist.
-
-      function Assoc (N : Node_Or_Entity_Id) return Node_Id;
-      --  Called during second phase to map entities into their corresponding
-      --  copies using Actual_Map. If the argument is not an entity, or is not
-      --  in Actual_Map, then it is returned unchanged.
-
-      procedure Build_NCT_Hash_Tables;
-      --  Builds hash tables (number of elements >= threshold value)
-
-      function Copy_Elist_With_Replacement
-        (Old_Elist : Elist_Id)
-         return      Elist_Id;
-      --  Called during second phase to copy element list doing replacements.
-
-      procedure Copy_Itype_With_Replacement (New_Itype : Entity_Id);
-      --  Called during the second phase to process a copied Itype. The actual
-      --  copy happened during the first phase (so that we could make the entry
-      --  in the mapping), but we still have to deal with the descendents of
-      --  the copied Itype and copy them where necessary.
-
-      function Copy_List_With_Replacement (Old_List : List_Id) return List_Id;
-      --  Called during second phase to copy list doing replacements.
-
-      function Copy_Node_With_Replacement (Old_Node : Node_Id) return Node_Id;
-      --  Called during second phase to copy node doing replacements
-
-      procedure Visit_Elist (E : Elist_Id);
-      --  Called during first phase to visit all elements of an Elist
-
-      procedure Visit_Field (F : Union_Id; N : Node_Id);
-      --  Visit a single field, recursing to call Visit_Node or Visit_List
-      --  if the field is a syntactic descendent of the current node (i.e.
-      --  its parent is Node N).
-
-      procedure Visit_Itype (Old_Itype : Entity_Id);
-      --  Called during first phase to visit subsidiary fields of a defining
-      --  Itype, and also create a copy and make an entry in the replacement
-      --  map for the new copy.
-
-      procedure Visit_List (L : List_Id);
-      --  Called during first phase to visit all elements of a List
-
-      procedure Visit_Node (N : Node_Or_Entity_Id);
-      --  Called during first phase to visit a node and all its subtrees
-
-      -----------
-      -- Assoc --
-      -----------
-
-      function Assoc (N : Node_Or_Entity_Id) return Node_Id is
-         E   : Elmt_Id;
-         Ent : Entity_Id;
-
-      begin
-         if not Has_Extension (N) or else No (Actual_Map) then
-            return N;
-
-         elsif NCT_Hash_Tables_Used then
-            Ent := NCT_Assoc.Get (Entity_Id (N));
-
-            if Present (Ent) then
-               return Ent;
-            else
-               return N;
-            end if;
-
-         --  No hash table used, do serial search
-
-         else
-            E := First_Elmt (Actual_Map);
-            while Present (E) loop
-               if Node (E) = N then
-                  return Node (Next_Elmt (E));
-               else
-                  E := Next_Elmt (Next_Elmt (E));
-               end if;
-            end loop;
-         end if;
-
-         return N;
-      end Assoc;
-
-      ---------------------------
-      -- Build_NCT_Hash_Tables --
-      ---------------------------
-
-      procedure Build_NCT_Hash_Tables is
-         Elmt : Elmt_Id;
-         Ent  : Entity_Id;
-      begin
-         if NCT_Hash_Table_Setup then
-            NCT_Assoc.Reset;
-            NCT_Itype_Assoc.Reset;
-         end if;
-
-         Elmt := First_Elmt (Actual_Map);
-         while Present (Elmt) loop
-            Ent := Node (Elmt);
-            Next_Elmt (Elmt);
-            NCT_Assoc.Set (Ent, Node (Elmt));
-            Next_Elmt (Elmt);
-
-            if Is_Type (Ent) then
-               declare
-                  Anode : constant Entity_Id :=
-                            Associated_Node_For_Itype (Ent);
-
-               begin
-                  if Present (Anode) then
-                     NCT_Itype_Assoc.Set (Anode, Node (Elmt));
-                  end if;
-               end;
-            end if;
-         end loop;
-
-         NCT_Hash_Tables_Used := True;
-         NCT_Hash_Table_Setup := True;
-      end Build_NCT_Hash_Tables;
-
-      ---------------------------------
-      -- Copy_Elist_With_Replacement --
-      ---------------------------------
-
-      function Copy_Elist_With_Replacement
-        (Old_Elist : Elist_Id)
-         return      Elist_Id
-      is
-         M         : Elmt_Id;
-         New_Elist : Elist_Id;
-
-      begin
-         if No (Old_Elist) then
-            return No_Elist;
-
-         else
-            New_Elist := New_Elmt_List;
-            M := First_Elmt (Old_Elist);
-
-            while Present (M) loop
-               Append_Elmt (Copy_Node_With_Replacement (Node (M)), New_Elist);
-               Next_Elmt (M);
-            end loop;
-         end if;
-
-         return New_Elist;
-      end Copy_Elist_With_Replacement;
-
-      ---------------------------------
-      -- Copy_Itype_With_Replacement --
-      ---------------------------------
-
-      --  This routine exactly parallels its phase one analog Visit_Itype,
-      --  and like that routine, knows far too many semantic details about
-      --  the descendents of Itypes and whether they need copying or not.
-
-      procedure Copy_Itype_With_Replacement (New_Itype : Entity_Id) is
-      begin
-         --  Translate Next_Entity, Scope and Etype fields, in case they
-         --  reference entities that have been mapped into copies.
-
-         Set_Next_Entity (New_Itype, Assoc (Next_Entity (New_Itype)));
-         Set_Etype       (New_Itype, Assoc (Etype       (New_Itype)));
-
-         if Present (New_Scope) then
-            Set_Scope    (New_Itype, New_Scope);
-         else
-            Set_Scope    (New_Itype, Assoc (Scope       (New_Itype)));
-         end if;
-
-         --  Copy referenced fields
-
-         if Is_Discrete_Type (New_Itype) then
-            Set_Scalar_Range (New_Itype,
-              Copy_Node_With_Replacement (Scalar_Range (New_Itype)));
-
-         elsif Has_Discriminants (Base_Type (New_Itype)) then
-            Set_Discriminant_Constraint (New_Itype,
-              Copy_Elist_With_Replacement
-                (Discriminant_Constraint (New_Itype)));
-
-         elsif Is_Array_Type (New_Itype) then
-            if Present (First_Index (New_Itype)) then
-               Set_First_Index (New_Itype,
-                 First (Copy_List_With_Replacement
-                         (List_Containing (First_Index (New_Itype)))));
-            end if;
-
-            if Is_Packed (New_Itype) then
-               Set_Packed_Array_Type (New_Itype,
-                 Copy_Node_With_Replacement
-                   (Packed_Array_Type (New_Itype)));
-            end if;
-         end if;
-      end Copy_Itype_With_Replacement;
-
-      --------------------------------
-      -- Copy_List_With_Replacement --
-      --------------------------------
-
-      function Copy_List_With_Replacement
-        (Old_List : List_Id)
-         return     List_Id
-      is
-         New_List : List_Id;
-         E        : Node_Id;
-
-      begin
-         if Old_List = No_List then
-            return No_List;
-
-         else
-            New_List := Empty_List;
-            E := First (Old_List);
-            while Present (E) loop
-               Append (Copy_Node_With_Replacement (E), New_List);
-               Next (E);
-            end loop;
-
-            return New_List;
-         end if;
-      end Copy_List_With_Replacement;
-
-      --------------------------------
-      -- Copy_Node_With_Replacement --
-      --------------------------------
-
-      function Copy_Node_With_Replacement
-        (Old_Node : Node_Id)
-         return     Node_Id
-      is
-         New_Node : Node_Id;
-
-         function Copy_Field_With_Replacement
-           (Field : Union_Id)
-            return  Union_Id;
-         --  Given Field, which is a field of Old_Node, return a copy of it
-         --  if it is a syntactic field (i.e. its parent is Node), setting
-         --  the parent of the copy to poit to New_Node. Otherwise returns
-         --  the field (possibly mapped if it is an entity).
-
-         ---------------------------------
-         -- Copy_Field_With_Replacement --
-         ---------------------------------
-
-         function Copy_Field_With_Replacement
-           (Field : Union_Id)
-            return  Union_Id
-         is
-         begin
-            if Field = Union_Id (Empty) then
-               return Field;
-
-            elsif Field in Node_Range then
-               declare
-                  Old_N : constant Node_Id := Node_Id (Field);
-                  New_N : Node_Id;
-
-               begin
-                  --  If syntactic field, as indicated by the parent pointer
-                  --  being set, then copy the referenced node recursively.
-
-                  if Parent (Old_N) = Old_Node then
-                     New_N := Copy_Node_With_Replacement (Old_N);
-
-                     if New_N /= Old_N then
-                        Set_Parent (New_N, New_Node);
-                     end if;
-
-                  --  For semantic fields, update possible entity reference
-                  --  from the replacement map.
-
-                  else
-                     New_N := Assoc (Old_N);
-                  end if;
-
-                  return Union_Id (New_N);
-               end;
-
-            elsif Field in List_Range then
-               declare
-                  Old_L : constant List_Id := List_Id (Field);
-                  New_L : List_Id;
-
-               begin
-                  --  If syntactic field, as indicated by the parent pointer,
-                  --  then recursively copy the entire referenced list.
-
-                  if Parent (Old_L) = Old_Node then
-                     New_L := Copy_List_With_Replacement (Old_L);
-                     Set_Parent (New_L, New_Node);
-
-                  --  For semantic list, just returned unchanged
-
-                  else
-                     New_L := Old_L;
-                  end if;
-
-                  return Union_Id (New_L);
-               end;
-
-            --  Anything other than a list or a node is returned unchanged
-
-            else
-               return Field;
-            end if;
-         end Copy_Field_With_Replacement;
-
-      --  Start of processing for Copy_Node_With_Replacement
-
-      begin
-         if Old_Node <= Empty_Or_Error then
-            return Old_Node;
-
-         elsif Has_Extension (Old_Node) then
-            return Assoc (Old_Node);
-
-         else
-            Nodes.Increment_Last;
-            New_Node := Nodes.Last;
-            Nodes.Table (New_Node) := Nodes.Table (Old_Node);
-            Nodes.Table (New_Node).Link := Empty_List_Or_Node;
-            Nodes.Table (New_Node).In_List := False;
-            Node_Count := Node_Count + 1;
-
-            Orig_Nodes.Increment_Last;
-            Allocate_List_Tables (Nodes.Last);
-
-            Orig_Nodes.Table (Nodes.Last) := Nodes.Last;
-
-            --  If the node we are copying is the associated node of a
-            --  previously copied Itype, then adjust the associated node
-            --  of the copy of that Itype accordingly.
-
-            if Present (Actual_Map) then
-               declare
-                  E   : Elmt_Id;
-                  Ent : Entity_Id;
-
-               begin
-                  --  Case of hash table used
-
-                  if NCT_Hash_Tables_Used then
-                     Ent := NCT_Itype_Assoc.Get (Old_Node);
-
-                     if Present (Ent) then
-                        Set_Associated_Node_For_Itype (Ent, New_Node);
-                     end if;
-
-                  --  Case of no hash table used
-
-                  else
-                     E := First_Elmt (Actual_Map);
-                     while Present (E) loop
-                        if Old_Node = Associated_Node_For_Itype (Node (E)) then
-                           Set_Associated_Node_For_Itype
-                             (Node (Next_Elmt (E)), New_Node);
-                        end if;
-
-                        E := Next_Elmt (Next_Elmt (E));
-                     end loop;
-                  end if;
-               end;
-            end if;
-
-            --  Recursively copy descendents
-
-            Set_Field1
-              (New_Node, Copy_Field_With_Replacement (Field1 (New_Node)));
-            Set_Field2
-              (New_Node, Copy_Field_With_Replacement (Field2 (New_Node)));
-            Set_Field3
-              (New_Node, Copy_Field_With_Replacement (Field3 (New_Node)));
-            Set_Field4
-              (New_Node, Copy_Field_With_Replacement (Field4 (New_Node)));
-            Set_Field5
-              (New_Node, Copy_Field_With_Replacement (Field5 (New_Node)));
-
-            --  If the original is marked as a rewrite insertion, then unmark
-            --  the copy, since we inserted the original, not the copy.
-
-            Nodes.Table (New_Node).Rewrite_Ins := False;
-
-            --  Adjust Sloc of new node if necessary
-
-            if New_Sloc /= No_Location then
-               Set_Sloc (New_Node, New_Sloc);
-
-               --  If we adjust the Sloc, then we are essentially making
-               --  a completely new node, so the Comes_From_Source flag
-               --  should be reset to the proper default value.
-
-               Nodes.Table (New_Node).Comes_From_Source :=
-                 Default_Node.Comes_From_Source;
-            end if;
-
-            --  Reset First_Real_Statement for Handled_Sequence_Of_Statements.
-            --  The replacement mechanism applies to entities, and is not used
-            --  here. Eventually we may need a more general graph-copying
-            --  routine. For now, do a sequential search to find desired node.
-
-            if Nkind (Old_Node) = N_Handled_Sequence_Of_Statements
-              and then Present (First_Real_Statement (Old_Node))
-            then
-               declare
-                  Old_F  : constant Node_Id := First_Real_Statement (Old_Node);
-                  N1, N2 : Node_Id;
-
-               begin
-                  N1 := First (Statements (Old_Node));
-                  N2 := First (Statements (New_Node));
-
-                  while N1 /= Old_F loop
-                     Next (N1);
-                     Next (N2);
-                  end loop;
-
-                  Set_First_Real_Statement (New_Node, N2);
-               end;
-            end if;
-         end if;
-
-         --  All done, return copied node
-
-         return New_Node;
-      end Copy_Node_With_Replacement;
-
-      -----------------
-      -- Visit_Elist --
-      -----------------
-
-      procedure Visit_Elist (E : Elist_Id) is
-         Elmt : Elmt_Id;
-
-      begin
-         if Present (E) then
-            Elmt := First_Elmt (E);
-
-            while Elmt /= No_Elmt loop
-               Visit_Node (Node (Elmt));
-               Next_Elmt (Elmt);
-            end loop;
-         end if;
-      end Visit_Elist;
-
-      -----------------
-      -- Visit_Field --
-      -----------------
-
-      procedure Visit_Field (F : Union_Id; N : Node_Id) is
-      begin
-         if F = Union_Id (Empty) then
-            return;
-
-         elsif F in Node_Range then
-
-            --  Copy node if it is syntactic, i.e. its parent pointer is
-            --  set to point to the field that referenced it (certain
-            --  Itypes will also meet this criterion, which is fine, since
-            --  these are clearly Itypes that do need to be copied, since
-            --  we are copying their parent.)
-
-            if Parent (Node_Id (F)) = N then
-               Visit_Node (Node_Id (F));
-               return;
-
-            --  Another case, if we are pointing to an Itype, then we want
-            --  to copy it if its associated node is somewhere in the tree
-            --  being copied.
-
-            --  Note: the exclusion of self-referential copies is just an
-            --  optimization, since the search of the already copied list
-            --  would catch it, but it is a common case (Etype pointing
-            --  to itself for an Itype that is a base type).
-
-            elsif Has_Extension (Node_Id (F))
-              and then Is_Itype (Entity_Id (F))
-              and then Node_Id (F) /= N
-            then
-               declare
-                  P : Node_Id;
-
-               begin
-                  P := Associated_Node_For_Itype (Node_Id (F));
-                  while Present (P) loop
-                     if P = Source then
-                        Visit_Node (Node_Id (F));
-                        return;
-                     else
-                        P := Parent (P);
-                     end if;
-                  end loop;
-
-                  --  An Itype whose parent is not being copied definitely
-                  --  should NOT be copied, since it does not belong in any
-                  --  sense to the copied subtree.
-
-                  return;
-               end;
-            end if;
-
-         elsif F in List_Range
-           and then Parent (List_Id (F)) = N
-         then
-            Visit_List (List_Id (F));
-            return;
-         end if;
-      end Visit_Field;
-
-      -----------------
-      -- Visit_Itype --
-      -----------------
-
-      --  Note: we are relying on far too much semantic knowledge in this
-      --  routine, it really should just do a blind replacement of all
-      --  fields, or at least a more blind replacement. For example, we
-      --  do not deal with corresponding record types, and that works
-      --  because we have no Itypes of task types, but nowhere is there
-      --  a guarantee that this will always be the case. ???
-
-      procedure Visit_Itype (Old_Itype : Entity_Id) is
-         New_Itype : Entity_Id;
-         E         : Elmt_Id;
-         Ent       : Entity_Id;
-
-      begin
-         --  Itypes that describe the designated type of access to subprograms
-         --  have the structure of subprogram declarations, with signatures,
-         --  etc. Either we duplicate the signatures completely, or choose to
-         --  share such itypes, which is fine because their elaboration will
-         --  have no side effects. In any case, this is additional semantic
-         --  information that seems awkward to have in atree.
-
-         if Ekind (Old_Itype) = E_Subprogram_Type then
-            return;
-         end if;
-
-         New_Itype := New_Copy (Old_Itype);
-
-         --  If our associated node is an entity that has already been copied,
-         --  then set the associated node of the copy to point to the right
-         --  copy. If we have copied an Itype that is itself the associated
-         --  node of some previously copied Itype, then we set the right
-         --  pointer in the other direction.
-
-         if Present (Actual_Map) then
-
-            --  Case of hash tables used
-
-            if NCT_Hash_Tables_Used then
-
-               Ent := NCT_Assoc.Get (Associated_Node_For_Itype (Old_Itype));
-               if Present (Ent) then
-                  Set_Associated_Node_For_Itype (New_Itype, Ent);
-               end if;
-
-               Ent := NCT_Itype_Assoc.Get (Old_Itype);
-               if Present (Ent) then
-                  Set_Associated_Node_For_Itype (Ent, New_Itype);
-               end if;
-
-            --  Csae of hash tables not used
-
-            else
-               E := First_Elmt (Actual_Map);
-               while Present (E) loop
-                  if Associated_Node_For_Itype (Old_Itype) = Node (E) then
-                     Set_Associated_Node_For_Itype
-                       (New_Itype, Node (Next_Elmt (E)));
-                  end if;
-
-                  if Old_Itype = Associated_Node_For_Itype (Node (E)) then
-                     Set_Associated_Node_For_Itype
-                       (Node (Next_Elmt (E)), New_Itype);
-                  end if;
-
-                  E := Next_Elmt (Next_Elmt (E));
-               end loop;
-            end if;
-         end if;
-
-         if Present (Freeze_Node (New_Itype)) then
-            Set_Is_Frozen (New_Itype, False);
-            Set_Freeze_Node (New_Itype, Empty);
-         end if;
-
-         --  Add new association to map
-
-         if No (Actual_Map) then
-            Actual_Map := New_Elmt_List;
-         end if;
-
-         Append_Elmt (Old_Itype, Actual_Map);
-         Append_Elmt (New_Itype, Actual_Map);
-
-         if NCT_Hash_Tables_Used then
-            NCT_Assoc.Set (Old_Itype, New_Itype);
-
-         else
-            NCT_Table_Entries := NCT_Table_Entries + 1;
-
-            if NCT_Table_Entries > NCT_Hash_Threshhold then
-               Build_NCT_Hash_Tables;
-            end if;
-         end if;
-
-         --  If a record subtype is simply copied, the entity list will be
-         --  shared. Thus cloned_Subtype must be set to indicate the sharing.
-
-         if Ekind (Old_Itype) = E_Record_Subtype
-           or else Ekind (Old_Itype) = E_Class_Wide_Subtype
-         then
-            Set_Cloned_Subtype (New_Itype, Old_Itype);
-         end if;
-
-         --  Visit descendents that eventually get copied
-
-         Visit_Field (Union_Id (Etype (Old_Itype)), Old_Itype);
-
-         if Is_Discrete_Type (Old_Itype) then
-            Visit_Field (Union_Id (Scalar_Range (Old_Itype)), Old_Itype);
-
-         elsif Has_Discriminants (Base_Type (Old_Itype)) then
-            --  ??? This should involve call to Visit_Field.
-            Visit_Elist (Discriminant_Constraint (Old_Itype));
-
-         elsif Is_Array_Type (Old_Itype) then
-            if Present (First_Index (Old_Itype)) then
-               Visit_Field (Union_Id (List_Containing
-                                (First_Index (Old_Itype))),
-                            Old_Itype);
-            end if;
-
-            if Is_Packed (Old_Itype) then
-               Visit_Field (Union_Id (Packed_Array_Type (Old_Itype)),
-                            Old_Itype);
-            end if;
-         end if;
-      end Visit_Itype;
-
-      ----------------
-      -- Visit_List --
-      ----------------
-
-      procedure Visit_List (L : List_Id) is
-         N : Node_Id;
-
-      begin
-         if L /= No_List then
-            N := First (L);
-
-            while Present (N) loop
-               Visit_Node (N);
-               Next (N);
-            end loop;
-         end if;
-      end Visit_List;
-
-      ----------------
-      -- Visit_Node --
-      ----------------
-
-      procedure Visit_Node (N : Node_Or_Entity_Id) is
-
-      --  Start of processing for Visit_Node
-
-      begin
-         --  Handle case of an Itype, which must be copied
-
-         if Has_Extension (N)
-           and then Is_Itype (N)
-         then
-            --  Nothing to do if already in the list. This can happen with an
-            --  Itype entity that appears more than once in the tree.
-            --  Note that we do not want to visit descendents in this case.
-
-            --  Test for already in list when hash table is used
-
-            if NCT_Hash_Tables_Used then
-               if Present (NCT_Assoc.Get (Entity_Id (N))) then
-                  return;
-               end if;
-
-            --  Test for already in list when hash table not used
-
-            else
-               declare
-                  E : Elmt_Id;
-
-               begin
-                  if Present (Actual_Map) then
-                     E := First_Elmt (Actual_Map);
-                     while Present (E) loop
-                        if Node (E) = N then
-                           return;
-                        else
-                           E := Next_Elmt (Next_Elmt (E));
-                        end if;
-                     end loop;
-                  end if;
-               end;
-            end if;
-
-            Visit_Itype (N);
-         end if;
-
-         --  Visit descendents
-
-         Visit_Field (Field1 (N), N);
-         Visit_Field (Field2 (N), N);
-         Visit_Field (Field3 (N), N);
-         Visit_Field (Field4 (N), N);
-         Visit_Field (Field5 (N), N);
-      end Visit_Node;
-
-   --  Start of processing for New_Copy_Tree
-
-   begin
-      Actual_Map := Map;
-
-      --  See if we should use hash table
-
-      if No (Actual_Map) then
-         NCT_Hash_Tables_Used := False;
-
-      else
-         declare
-            Elmt : Elmt_Id;
-
-         begin
-            NCT_Table_Entries := 0;
-            Elmt := First_Elmt (Actual_Map);
-            while Present (Elmt) loop
-               NCT_Table_Entries := NCT_Table_Entries + 1;
-               Next_Elmt (Elmt);
-               Next_Elmt (Elmt);
-            end loop;
-
-            if NCT_Table_Entries > NCT_Hash_Threshhold then
-               Build_NCT_Hash_Tables;
-            else
-               NCT_Hash_Tables_Used := False;
-            end if;
-         end;
-      end if;
-
-      --  Hash table set up if required, now start phase one by visiting
-      --  top node (we will recursively visit the descendents).
-
-      Visit_Node (Source);
-
-      --  Now the second phase of the copy can start. First we process
-      --  all the mapped entities, copying their descendents.
-
-      if Present (Actual_Map) then
-         declare
-            Elmt      : Elmt_Id;
-            New_Itype : Entity_Id;
-
-         begin
-            Elmt := First_Elmt (Actual_Map);
-            while Present (Elmt) loop
-               Next_Elmt (Elmt);
-               New_Itype := Node (Elmt);
-               Copy_Itype_With_Replacement (New_Itype);
-               Next_Elmt (Elmt);
-            end loop;
-         end;
-      end if;
-
-      --  Now we can copy the actual tree
-
-      return Copy_Node_With_Replacement (Source);
-   end New_Copy_Tree;
-
-   ----------------
-   -- New_Entity --
-   ----------------
-
-   function New_Entity
-     (New_Node_Kind : Node_Kind;
-      New_Sloc      : Source_Ptr)
-      return          Entity_Id
-   is
-      procedure New_Entity_Debugging_Output;
-      --  Debugging routine for debug flag N
-
-      procedure New_Entity_Debugging_Output is
-      begin
-         if Debug_Flag_N then
-            Write_Str ("Allocate entity, Id = ");
-            Write_Int (Int (Nodes.Last));
-            Write_Str ("  ");
-            Write_Location (New_Sloc);
-            Write_Str ("  ");
-            Write_Str (Node_Kind'Image (New_Node_Kind));
-            Write_Eol;
-         end if;
-      end New_Entity_Debugging_Output;
-
-      pragma Inline (New_Entity_Debugging_Output);
-
-   --  Start of processing for New_Entity
-
-   begin
-      pragma Assert (New_Node_Kind in N_Entity);
-
-      Nodes.Increment_Last;
-      Current_Error_Node := Nodes.Last;
-      Nodes.Table (Nodes.Last)        := Default_Node;
-      Nodes.Table (Nodes.Last).Nkind  := New_Node_Kind;
-      Nodes.Table (Nodes.Last).Sloc   := New_Sloc;
-      pragma Debug (New_Entity_Debugging_Output);
-
-      Orig_Nodes.Increment_Last;
-      Orig_Nodes.Table (Nodes.Last) := Nodes.Last;
-
-      Nodes.Increment_Last;
-      Nodes.Table (Nodes.Last) := Default_Node_Extension;
-
-      Nodes.Increment_Last;
-      Nodes.Table (Nodes.Last) := Default_Node_Extension;
-
-      Nodes.Increment_Last;
-      Nodes.Table (Nodes.Last) := Default_Node_Extension;
-
-      Orig_Nodes.Set_Last (Nodes.Last);
-      Allocate_List_Tables (Nodes.Last);
-      Node_Count := Node_Count + 1;
-      return Current_Error_Node;
-   end New_Entity;
-
-   --------------
-   -- New_Node --
-   --------------
-
-   function New_Node
-     (New_Node_Kind : Node_Kind;
-      New_Sloc      : Source_Ptr)
-      return          Node_Id
-   is
-      procedure New_Node_Debugging_Output;
-      --  Debugging routine for debug flag N
-
-      procedure New_Node_Debugging_Output is
-      begin
-         if Debug_Flag_N then
-            Write_Str ("Allocate node, Id = ");
-            Write_Int (Int (Nodes.Last));
-            Write_Str ("  ");
-            Write_Location (New_Sloc);
-            Write_Str ("  ");
-            Write_Str (Node_Kind'Image (New_Node_Kind));
-            Write_Eol;
-         end if;
-      end New_Node_Debugging_Output;
-
-      pragma Inline (New_Node_Debugging_Output);
-
-   --  Start of processing for New_Node
-
-   begin
-      pragma Assert (New_Node_Kind not in N_Entity);
-      Nodes.Increment_Last;
-      Nodes.Table (Nodes.Last)        := Default_Node;
-      Nodes.Table (Nodes.Last).Nkind  := New_Node_Kind;
-      Nodes.Table (Nodes.Last).Sloc   := New_Sloc;
-      pragma Debug (New_Node_Debugging_Output);
-      Current_Error_Node := Nodes.Last;
-      Node_Count := Node_Count + 1;
-
-      Orig_Nodes.Increment_Last;
-      Allocate_List_Tables (Nodes.Last);
-      Orig_Nodes.Table (Nodes.Last) := Nodes.Last;
-      return Nodes.Last;
-   end New_Node;
-
-   -----------
-   -- Nkind --
-   -----------
-
-   function Nkind (N : Node_Id) return Node_Kind is
-   begin
-      return Nodes.Table (N).Nkind;
-   end Nkind;
-
-   --------
-   -- No --
-   --------
-
-   function No (N : Node_Id) return Boolean is
-   begin
-      return N = Empty;
-   end No;
-
-   -------------------
-   -- Nodes_Address --
-   -------------------
-
-   function Nodes_Address return System.Address is
-   begin
-      return Nodes.Table (First_Node_Id)'Address;
-   end Nodes_Address;
-
-   ---------------
-   -- Num_Nodes --
-   ---------------
-
-   function Num_Nodes return Nat is
-   begin
-      return Node_Count;
-   end Num_Nodes;
-
-   -------------------
-   -- Original_Node --
-   -------------------
-
-   function Original_Node (Node : Node_Id) return Node_Id is
-   begin
-      return Orig_Nodes.Table (Node);
-   end Original_Node;
-
-   -----------------
-   -- Paren_Count --
-   -----------------
-
-   function Paren_Count (N : Node_Id) return Paren_Count_Type is
-      C : Paren_Count_Type := 0;
-
-   begin
-      pragma Assert (N in Nodes.First .. Nodes.Last);
-
-      if Nodes.Table (N).Pflag1 then
-         C := C + 1;
-      end if;
-
-      if Nodes.Table (N).Pflag2 then
-         C := C + 2;
-      end if;
-
-      return C;
-   end Paren_Count;
-
-   ------------
-   -- Parent --
-   ------------
-
-   function Parent (N : Node_Id) return Node_Id is
-   begin
-      if Is_List_Member (N) then
-         return Parent (List_Containing (N));
-      else
-         return Node_Id (Nodes.Table (N).Link);
-      end if;
-   end Parent;
-
-   -------------
-   -- Present --
-   -------------
-
-   function Present (N : Node_Id) return Boolean is
-   begin
-      return N /= Empty;
-   end Present;
-
-   --------------------------------
-   -- Preserve_Comes_From_Source --
-   --------------------------------
-
-   procedure Preserve_Comes_From_Source (NewN, OldN : Node_Id) is
-   begin
-      Nodes.Table (NewN).Comes_From_Source :=
-        Nodes.Table (OldN).Comes_From_Source;
-   end Preserve_Comes_From_Source;
-
-   -------------------
-   -- Relocate_Node --
-   -------------------
-
-   function Relocate_Node (Source : Node_Id) return Node_Id is
-      New_Node : Node_Id;
-
-   begin
-      if No (Source) then
-         return Empty;
-      end if;
-
-      New_Node := New_Copy (Source);
-      Fix_Parent (Field1 (Source), Source, New_Node);
-      Fix_Parent (Field2 (Source), Source, New_Node);
-      Fix_Parent (Field3 (Source), Source, New_Node);
-      Fix_Parent (Field4 (Source), Source, New_Node);
-      Fix_Parent (Field5 (Source), Source, New_Node);
-
-      --  We now set the parent of the new node to be the same as the
-      --  parent of the source. Almost always this parent will be
-      --  replaced by a new value when the relocated node is reattached
-      --  to the tree, but by doing it now, we ensure that this node is
-      --  not even temporarily disconnected from the tree. Note that this
-      --  does not happen free, because in the list case, the parent does
-      --  not get set.
-
-      Set_Parent (New_Node, Parent (Source));
-      return New_Node;
-   end Relocate_Node;
-
-   -------------
-   -- Replace --
-   -------------
-
-   procedure Replace (Old_Node, New_Node : Node_Id) is
-      Old_Link : constant Union_Id := Nodes.Table (Old_Node).Link;
-      Old_InL  : constant Boolean  := Nodes.Table (Old_Node).In_List;
-      Old_Post : constant Boolean  := Nodes.Table (Old_Node).Error_Posted;
-      Old_CFS  : constant Boolean  := Nodes.Table (Old_Node).Comes_From_Source;
-
-   begin
-      pragma Assert
-        (not Has_Extension (Old_Node)
-           and not Has_Extension (New_Node)
-           and not Nodes.Table (New_Node).In_List);
-
-      --  Do copy, preserving link and in list status and comes from source
-
-      Nodes.Table (Old_Node)                   := Nodes.Table (New_Node);
-      Nodes.Table (Old_Node).Link              := Old_Link;
-      Nodes.Table (Old_Node).In_List           := Old_InL;
-      Nodes.Table (Old_Node).Comes_From_Source := Old_CFS;
-      Nodes.Table (Old_Node).Error_Posted      := Old_Post;
-
-      --  Fix parents of substituted node, since it has changed identity
-
-      Fix_Parent (Field1 (Old_Node), New_Node, Old_Node);
-      Fix_Parent (Field2 (Old_Node), New_Node, Old_Node);
-      Fix_Parent (Field3 (Old_Node), New_Node, Old_Node);
-      Fix_Parent (Field4 (Old_Node), New_Node, Old_Node);
-      Fix_Parent (Field5 (Old_Node), New_Node, Old_Node);
-
-      --  Since we are doing a replace, we assume that the original node
-      --  is intended to become the new replaced node. The call would be
-      --  to Rewrite_Substitute_Node if there were an intention to save
-      --  the original node.
-
-      Orig_Nodes.Table (Old_Node) := Old_Node;
-
-      --  Finally delete the source, since it is now copied
-
-      Delete_Node (New_Node);
-
-   end Replace;
-
-   -------------
-   -- Rewrite --
-   -------------
-
-   procedure Rewrite (Old_Node, New_Node : Node_Id) is
-
-      Old_Link    : constant Union_Id := Nodes.Table (Old_Node).Link;
-      Old_In_List : constant Boolean  := Nodes.Table (Old_Node).In_List;
-      Old_Error_P : constant Boolean  := Nodes.Table (Old_Node).Error_Posted;
-      --  These three fields are always preserved in the new node
-
-      Old_Paren_Count     : Paren_Count_Type;
-      Old_Must_Not_Freeze : Boolean;
-      --  These fields are preserved in the new node only if the new node
-      --  and the old node are both subexpression nodes.
-
-      --  Note: it is a violation of abstraction levels for Must_Not_Freeze
-      --  to be referenced like this. ???
-
-      Sav_Node : Node_Id;
-
-   begin
-      pragma Assert
-        (not Has_Extension (Old_Node)
-           and not Has_Extension (New_Node)
-           and not Nodes.Table (New_Node).In_List);
-
-      if Nkind (Old_Node) in N_Subexpr then
-         Old_Paren_Count     := Paren_Count (Old_Node);
-         Old_Must_Not_Freeze := Must_Not_Freeze (Old_Node);
-      else
-         Old_Paren_Count := 0;
-         Old_Must_Not_Freeze := False;
-      end if;
-
-      --  Allocate a new node, to be used to preserve the original contents
-      --  of the Old_Node, for possible later retrival by Original_Node and
-      --  make an entry in the Orig_Nodes table. This is only done if we have
-      --  not already rewritten the node, as indicated by an Orig_Nodes entry
-      --  that does not reference the Old_Node.
-
-      if Orig_Nodes.Table (Old_Node) = Old_Node then
-         Nodes.Increment_Last;
-         Sav_Node := Nodes.Last;
-         Nodes.Table (Sav_Node)         := Nodes.Table (Old_Node);
-         Nodes.Table (Sav_Node).In_List := False;
-         Nodes.Table (Sav_Node).Link    := Union_Id (Empty);
-
-         Orig_Nodes.Increment_Last;
-         Allocate_List_Tables (Nodes.Last);
-
-         Orig_Nodes.Table (Sav_Node) := Sav_Node;
-         Orig_Nodes.Table (Old_Node) := Sav_Node;
-      end if;
-
-      --  Copy substitute node into place, preserving old fields as required
-
-      Nodes.Table (Old_Node)              := Nodes.Table (New_Node);
-      Nodes.Table (Old_Node).Link         := Old_Link;
-      Nodes.Table (Old_Node).In_List      := Old_In_List;
-      Nodes.Table (Old_Node).Error_Posted := Old_Error_P;
-
-      if Nkind (New_Node) in N_Subexpr then
-         Set_Paren_Count     (Old_Node, Old_Paren_Count);
-         Set_Must_Not_Freeze (Old_Node, Old_Must_Not_Freeze);
-      end if;
-
-      Fix_Parent (Field1 (Old_Node), New_Node, Old_Node);
-      Fix_Parent (Field2 (Old_Node), New_Node, Old_Node);
-      Fix_Parent (Field3 (Old_Node), New_Node, Old_Node);
-      Fix_Parent (Field4 (Old_Node), New_Node, Old_Node);
-      Fix_Parent (Field5 (Old_Node), New_Node, Old_Node);
-
-   end Rewrite;
-
-   ------------------
-   -- Set_Analyzed --
-   ------------------
-
-   procedure Set_Analyzed (N : Node_Id; Val : Boolean := True) is
-   begin
-      Nodes.Table (N).Analyzed := Val;
-   end Set_Analyzed;
-
-   ---------------------------
-   -- Set_Comes_From_Source --
-   ---------------------------
-
-   procedure Set_Comes_From_Source (N : Node_Id; Val : Boolean) is
-   begin
-      pragma Assert (N in Nodes.First .. Nodes.Last);
-      Nodes.Table (N).Comes_From_Source := Val;
-   end Set_Comes_From_Source;
-
-   -----------------------------------
-   -- Set_Comes_From_Source_Default --
-   -----------------------------------
-
-   procedure Set_Comes_From_Source_Default (Default : Boolean) is
-   begin
-      Default_Node.Comes_From_Source := Default;
-   end Set_Comes_From_Source_Default;
-
-   --------------------
-   -- Set_Convention --
-   --------------------
-
-   procedure Set_Convention  (E : Entity_Id; Val : Convention_Id) is
-   begin
-      pragma Assert (Nkind (E) in N_Entity);
-      To_Flag_Word_Ptr
-        (Union_Id_Ptr'
-          (Nodes.Table (E + 2).Field12'Unrestricted_Access)).Convention :=
-                                                                        Val;
-   end Set_Convention;
-
-   ---------------
-   -- Set_Ekind --
-   ---------------
-
-   procedure Set_Ekind (E : Entity_Id; Val : Entity_Kind) is
-   begin
-      pragma Assert (Nkind (E) in N_Entity);
-      Nodes.Table (E + 1).Nkind := E_To_N (Val);
-   end Set_Ekind;
-
-   ----------------------
-   -- Set_Error_Posted --
-   ----------------------
-
-   procedure Set_Error_Posted (N : Node_Id; Val : Boolean := True) is
-   begin
-      Nodes.Table (N).Error_Posted := Val;
-   end Set_Error_Posted;
-
-   ---------------------
-   -- Set_Paren_Count --
-   ---------------------
-
-   procedure Set_Paren_Count (N : Node_Id; Val : Paren_Count_Type) is
-   begin
-      pragma Assert (Nkind (N) in N_Subexpr);
-      Nodes.Table (N).Pflag1 := (Val mod 2 /= 0);
-      Nodes.Table (N).Pflag2 := (Val >= 2);
-   end Set_Paren_Count;
-
-   ----------------
-   -- Set_Parent --
-   ----------------
-
-   procedure Set_Parent (N : Node_Id; Val : Node_Id) is
-   begin
-      pragma Assert (not Nodes.Table (N).In_List);
-      Nodes.Table (N).Link := Union_Id (Val);
-   end Set_Parent;
-
-   --------------
-   -- Set_Sloc --
-   --------------
-
-   procedure Set_Sloc (N : Node_Id; Val : Source_Ptr) is
-   begin
-      Nodes.Table (N).Sloc := Val;
-   end Set_Sloc;
-
-   ----------
-   -- Sloc --
-   ----------
-
-   function Sloc (N : Node_Id) return Source_Ptr is
-   begin
-      return Nodes.Table (N).Sloc;
-   end Sloc;
-
-   -------------------
-   -- Traverse_Func --
-   -------------------
-
-   function Traverse_Func (Node : Node_Id) return Traverse_Result is
-
-      function Traverse_Field (Fld : Union_Id) return Traverse_Result;
-      --  Fld is one of the fields of Node. If the field points to a
-      --  syntactic node or list, then this node or list is traversed,
-      --  and the result is the result of this traversal. Otherwise
-      --  a value of True is returned with no processing.
-
-      --------------------
-      -- Traverse_Field --
-      --------------------
-
-      function Traverse_Field (Fld : Union_Id) return Traverse_Result is
-      begin
-         if Fld = Union_Id (Empty) then
-            return OK;
-
-         --  Descendent is a node
-
-         elsif Fld in Node_Range then
-
-            --  Traverse descendent that is syntactic subtree node
-
-            if Parent (Node_Id (Fld)) = Node then
-               return Traverse_Func (Node_Id (Fld));
-
-            --  Node that is not a syntactic subtree
-
-            else
-               return OK;
-            end if;
-
-         --  Descendent is a list
-
-         elsif Fld in List_Range then
-
-            --  Traverse descendent that is a syntactic subtree list
-
-            if Parent (List_Id (Fld)) = Node then
-
-               declare
-                  Elmt : Node_Id := First (List_Id (Fld));
-               begin
-                  while Present (Elmt) loop
-                     if Traverse_Func (Elmt) = Abandon then
-                        return Abandon;
-                     else
-                        Next (Elmt);
-                     end if;
-                  end loop;
-
-                  return OK;
-               end;
-
-            --  List that is not a syntactic subtree
-
-            else
-               return OK;
-            end if;
-
-         --  Field was not a node or a list
-
-         else
-            return OK;
-         end if;
-      end Traverse_Field;
-
-   --  Start of processing for Traverse_Func
-
-   begin
-      case Process (Node) is
-         when Abandon =>
-            return Abandon;
-
-         when Skip =>
-            return OK;
-
-         when OK =>
-            if Traverse_Field (Union_Id (Field1 (Node))) = Abandon
-                 or else
-               Traverse_Field (Union_Id (Field2 (Node))) = Abandon
-                 or else
-               Traverse_Field (Union_Id (Field3 (Node))) = Abandon
-                 or else
-               Traverse_Field (Union_Id (Field4 (Node))) = Abandon
-                 or else
-               Traverse_Field (Union_Id (Field5 (Node))) = Abandon
-            then
-               return Abandon;
-
-            else
-               return OK;
-            end if;
-
-      end case;
-
-   end Traverse_Func;
-
-   -------------------
-   -- Traverse_Proc --
-   -------------------
-
-   procedure Traverse_Proc (Node : Node_Id) is
-      function Traverse is new Traverse_Func (Process);
-      Discard : Traverse_Result;
-
-   begin
-      Discard := Traverse (Node);
-   end Traverse_Proc;
-
-   ---------------
-   -- Tree_Read --
-   ---------------
-
-   procedure Tree_Read is
-   begin
-      Tree_Read_Int (Node_Count);
-      Nodes.Tree_Read;
-      Orig_Nodes.Tree_Read;
-   end Tree_Read;
-
-   ----------------
-   -- Tree_Write --
-   ----------------
-
-   procedure Tree_Write is
-   begin
-      Tree_Write_Int (Node_Count);
-      Nodes.Tree_Write;
-      Orig_Nodes.Tree_Write;
-   end Tree_Write;
-
-   ------------------------------
-   -- Unchecked Access Package --
-   ------------------------------
-
-   package body Unchecked_Access is
-
-      function Field1 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Field1;
-      end Field1;
-
-      function Field2 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Field2;
-      end Field2;
-
-      function Field3 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Field3;
-      end Field3;
-
-      function Field4 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Field4;
-      end Field4;
-
-      function Field5 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Field5;
-      end Field5;
-
-      function Field6 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Field6;
-      end Field6;
-
-      function Field7 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Field7;
-      end Field7;
-
-      function Field8 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Field8;
-      end Field8;
-
-      function Field9 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Field9;
-      end Field9;
-
-      function Field10 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Field10;
-      end Field10;
-
-      function Field11 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Field11;
-      end Field11;
-
-      function Field12 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Field12;
-      end Field12;
-
-      function Field13 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Field6;
-      end Field13;
-
-      function Field14 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Field7;
-      end Field14;
-
-      function Field15 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Field8;
-      end Field15;
-
-      function Field16 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Field9;
-      end Field16;
-
-      function Field17 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Field10;
-      end Field17;
-
-      function Field18 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Field11;
-      end Field18;
-
-      function Field19 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Field6;
-      end Field19;
-
-      function Field20 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Field7;
-      end Field20;
-
-      function Field21 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Field8;
-      end Field21;
-
-      function Field22 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Field9;
-      end Field22;
-
-      function Field23 (N : Node_Id) return Union_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Field10;
-      end Field23;
-
-      function Node1 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Node_Id (Nodes.Table (N).Field1);
-      end Node1;
-
-      function Node2 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Node_Id (Nodes.Table (N).Field2);
-      end Node2;
-
-      function Node3 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Node_Id (Nodes.Table (N).Field3);
-      end Node3;
-
-      function Node4 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Node_Id (Nodes.Table (N).Field4);
-      end Node4;
-
-      function Node5 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Node_Id (Nodes.Table (N).Field5);
-      end Node5;
-
-      function Node6 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 1).Field6);
-      end Node6;
-
-      function Node7 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 1).Field7);
-      end Node7;
-
-      function Node8 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 1).Field8);
-      end Node8;
-
-      function Node9 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 1).Field9);
-      end Node9;
-
-      function Node10 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 1).Field10);
-      end Node10;
-
-      function Node11 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 1).Field11);
-      end Node11;
-
-      function Node12 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 1).Field12);
-      end Node12;
-
-      function Node13 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 2).Field6);
-      end Node13;
-
-      function Node14 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 2).Field7);
-      end Node14;
-
-      function Node15 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 2).Field8);
-      end Node15;
-
-      function Node16 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 2).Field9);
-      end Node16;
-
-      function Node17 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 2).Field10);
-      end Node17;
-
-      function Node18 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 2).Field11);
-      end Node18;
-
-      function Node19 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 3).Field6);
-      end Node19;
-
-      function Node20 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 3).Field7);
-      end Node20;
-
-      function Node21 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 3).Field8);
-      end Node21;
-
-      function Node22 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 3).Field9);
-      end Node22;
-
-      function Node23 (N : Node_Id) return Node_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Node_Id (Nodes.Table (N + 3).Field10);
-      end Node23;
-
-      function List1 (N : Node_Id) return List_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return List_Id (Nodes.Table (N).Field1);
-      end List1;
-
-      function List2 (N : Node_Id) return List_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return List_Id (Nodes.Table (N).Field2);
-      end List2;
-
-      function List3 (N : Node_Id) return List_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return List_Id (Nodes.Table (N).Field3);
-      end List3;
-
-      function List4 (N : Node_Id) return List_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return List_Id (Nodes.Table (N).Field4);
-      end List4;
-
-      function List5 (N : Node_Id) return List_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return List_Id (Nodes.Table (N).Field5);
-      end List5;
-
-      function List10 (N : Node_Id) return List_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return List_Id (Nodes.Table (N + 1).Field10);
-      end List10;
-
-      function List14 (N : Node_Id) return List_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return List_Id (Nodes.Table (N + 2).Field7);
-      end List14;
-
-      function Elist2 (N : Node_Id) return Elist_Id is
-      begin
-         return Elist_Id (Nodes.Table (N).Field2);
-      end Elist2;
-
-      function Elist3 (N : Node_Id) return Elist_Id is
-      begin
-         return Elist_Id (Nodes.Table (N).Field3);
-      end Elist3;
-
-      function Elist4 (N : Node_Id) return Elist_Id is
-      begin
-         return Elist_Id (Nodes.Table (N).Field4);
-      end Elist4;
-
-      function Elist8 (N : Node_Id) return Elist_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Elist_Id (Nodes.Table (N + 1).Field8);
-      end Elist8;
-
-      function Elist13 (N : Node_Id) return Elist_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Elist_Id (Nodes.Table (N + 2).Field6);
-      end Elist13;
-
-      function Elist15 (N : Node_Id) return Elist_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Elist_Id (Nodes.Table (N + 2).Field8);
-      end Elist15;
-
-      function Elist16 (N : Node_Id) return Elist_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Elist_Id (Nodes.Table (N + 2).Field9);
-      end Elist16;
-
-      function Elist18 (N : Node_Id) return Elist_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Elist_Id (Nodes.Table (N + 2).Field11);
-      end Elist18;
-
-      function Elist21 (N : Node_Id) return Elist_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Elist_Id (Nodes.Table (N + 3).Field8);
-      end Elist21;
-
-      function Elist23 (N : Node_Id) return Elist_Id is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Elist_Id (Nodes.Table (N + 3).Field10);
-      end Elist23;
-
-      function Name1 (N : Node_Id) return Name_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Name_Id (Nodes.Table (N).Field1);
-      end Name1;
-
-      function Name2 (N : Node_Id) return Name_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Name_Id (Nodes.Table (N).Field2);
-      end Name2;
-
-      function Str3 (N : Node_Id) return String_Id is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return String_Id (Nodes.Table (N).Field3);
-      end Str3;
-
-      function Char_Code2 (N : Node_Id) return Char_Code is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Char_Code (Nodes.Table (N).Field2 - Char_Code_Bias);
-      end Char_Code2;
-
-      function Uint3 (N : Node_Id) return Uint is
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         U : constant Union_Id := Nodes.Table (N).Field3;
-
-      begin
-         if U = 0 then
-            return Uint_0;
-         else
-            return From_Union (U);
-         end if;
-      end Uint3;
-
-      function Uint4 (N : Node_Id) return Uint is
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         U : constant Union_Id := Nodes.Table (N).Field4;
-
-      begin
-         if U = 0 then
-            return Uint_0;
-         else
-            return From_Union (U);
-         end if;
-      end Uint4;
-
-      function Uint5 (N : Node_Id) return Uint is
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         U : constant Union_Id := Nodes.Table (N).Field5;
-
-      begin
-         if U = 0 then
-            return Uint_0;
-         else
-            return From_Union (U);
-         end if;
-      end Uint5;
-
-      function Uint8 (N : Node_Id) return Uint is
-         pragma Assert (Nkind (N) in N_Entity);
-         U : constant Union_Id := Nodes.Table (N + 1).Field8;
-
-      begin
-         if U = 0 then
-            return Uint_0;
-         else
-            return From_Union (U);
-         end if;
-      end Uint8;
-
-      function Uint9 (N : Node_Id) return Uint is
-         pragma Assert (Nkind (N) in N_Entity);
-         U : constant Union_Id := Nodes.Table (N + 1).Field9;
-
-      begin
-         if U = 0 then
-            return Uint_0;
-         else
-            return From_Union (U);
-         end if;
-      end Uint9;
-
-      function Uint11 (N : Node_Id) return Uint is
-         pragma Assert (Nkind (N) in N_Entity);
-         U : constant Union_Id := Nodes.Table (N + 1).Field11;
-
-      begin
-         if U = 0 then
-            return Uint_0;
-         else
-            return From_Union (U);
-         end if;
-      end Uint11;
-
-      function Uint10 (N : Node_Id) return Uint is
-         pragma Assert (Nkind (N) in N_Entity);
-         U : constant Union_Id := Nodes.Table (N + 1).Field10;
-
-      begin
-         if U = 0 then
-            return Uint_0;
-         else
-            return From_Union (U);
-         end if;
-      end Uint10;
-
-      function Uint12 (N : Node_Id) return Uint is
-         pragma Assert (Nkind (N) in N_Entity);
-         U : constant Union_Id := Nodes.Table (N + 1).Field12;
-
-      begin
-         if U = 0 then
-            return Uint_0;
-         else
-            return From_Union (U);
-         end if;
-      end Uint12;
-
-      function Uint13 (N : Node_Id) return Uint is
-         pragma Assert (Nkind (N) in N_Entity);
-         U : constant Union_Id := Nodes.Table (N + 2).Field6;
-
-      begin
-         if U = 0 then
-            return Uint_0;
-         else
-            return From_Union (U);
-         end if;
-      end Uint13;
-
-      function Uint14 (N : Node_Id) return Uint is
-         pragma Assert (Nkind (N) in N_Entity);
-         U : constant Union_Id := Nodes.Table (N + 2).Field7;
-
-      begin
-         if U = 0 then
-            return Uint_0;
-         else
-            return From_Union (U);
-         end if;
-      end Uint14;
-
-      function Uint15 (N : Node_Id) return Uint is
-         pragma Assert (Nkind (N) in N_Entity);
-         U : constant Union_Id := Nodes.Table (N + 2).Field8;
-
-      begin
-         if U = 0 then
-            return Uint_0;
-         else
-            return From_Union (U);
-         end if;
-      end Uint15;
-
-      function Uint16 (N : Node_Id) return Uint is
-         pragma Assert (Nkind (N) in N_Entity);
-         U : constant Union_Id := Nodes.Table (N + 2).Field9;
-
-      begin
-         if U = 0 then
-            return Uint_0;
-         else
-            return From_Union (U);
-         end if;
-      end Uint16;
-
-      function Uint17 (N : Node_Id) return Uint is
-         pragma Assert (Nkind (N) in N_Entity);
-         U : constant Union_Id := Nodes.Table (N + 2).Field10;
-
-      begin
-         if U = 0 then
-            return Uint_0;
-         else
-            return From_Union (U);
-         end if;
-      end Uint17;
-
-      function Uint22 (N : Node_Id) return Uint is
-         pragma Assert (Nkind (N) in N_Entity);
-         U : constant Union_Id := Nodes.Table (N + 3).Field9;
-
-      begin
-         if U = 0 then
-            return Uint_0;
-         else
-            return From_Union (U);
-         end if;
-      end Uint22;
-
-      function Ureal3 (N : Node_Id) return Ureal is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return From_Union (Nodes.Table (N).Field3);
-      end Ureal3;
-
-      function Ureal18 (N : Node_Id) return Ureal is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return From_Union (Nodes.Table (N + 2).Field11);
-      end Ureal18;
-
-      function Ureal21 (N : Node_Id) return Ureal is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return From_Union (Nodes.Table (N + 3).Field8);
-      end Ureal21;
-
-      function Flag4 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Flag4;
-      end Flag4;
-
-      function Flag5 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Flag5;
-      end Flag5;
-
-      function Flag6 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Flag6;
-      end Flag6;
-
-      function Flag7 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Flag7;
-      end Flag7;
-
-      function Flag8 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Flag8;
-      end Flag8;
-
-      function Flag9 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Flag9;
-      end Flag9;
-
-      function Flag10 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Flag10;
-      end Flag10;
-
-      function Flag11 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Flag11;
-      end Flag11;
-
-      function Flag12 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Flag12;
-      end Flag12;
-
-      function Flag13 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Flag13;
-      end Flag13;
-
-      function Flag14 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Flag14;
-      end Flag14;
-
-      function Flag15 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Flag15;
-      end Flag15;
-
-      function Flag16 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Flag16;
-      end Flag16;
-
-      function Flag17 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Flag17;
-      end Flag17;
-
-      function Flag18 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         return Nodes.Table (N).Flag18;
-      end Flag18;
-
-      function Flag19 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).In_List;
-      end Flag19;
-
-      function Flag20 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Unused_1;
-      end Flag20;
-
-      function Flag21 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Rewrite_Ins;
-      end Flag21;
-
-      function Flag22 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Analyzed;
-      end Flag22;
-
-      function Flag23 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Comes_From_Source;
-      end Flag23;
-
-      function Flag24 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Error_Posted;
-      end Flag24;
-
-      function Flag25 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Flag4;
-      end Flag25;
-
-      function Flag26 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Flag5;
-      end Flag26;
-
-      function Flag27 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Flag6;
-      end Flag27;
-
-      function Flag28 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Flag7;
-      end Flag28;
-
-      function Flag29 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Flag8;
-      end Flag29;
-
-      function Flag30 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Flag9;
-      end Flag30;
-
-      function Flag31 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Flag10;
-      end Flag31;
-
-      function Flag32 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Flag11;
-      end Flag32;
-
-      function Flag33 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Flag12;
-      end Flag33;
-
-      function Flag34 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Flag13;
-      end Flag34;
-
-      function Flag35 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Flag14;
-      end Flag35;
-
-      function Flag36 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Flag15;
-      end Flag36;
-
-      function Flag37 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Flag16;
-      end Flag37;
-
-      function Flag38 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Flag17;
-      end Flag38;
-
-      function Flag39 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Flag18;
-      end Flag39;
-
-      function Flag40 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).In_List;
-      end Flag40;
-
-      function Flag41 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Unused_1;
-      end Flag41;
-
-      function Flag42 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Rewrite_Ins;
-      end Flag42;
-
-      function Flag43 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Analyzed;
-      end Flag43;
-
-      function Flag44 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Comes_From_Source;
-      end Flag44;
-
-      function Flag45 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Error_Posted;
-      end Flag45;
-
-      function Flag46 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Flag4;
-      end Flag46;
-
-      function Flag47 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Flag5;
-      end Flag47;
-
-      function Flag48 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Flag6;
-      end Flag48;
-
-      function Flag49 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Flag7;
-      end Flag49;
-
-      function Flag50 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Flag8;
-      end Flag50;
-
-      function Flag51 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Flag9;
-      end Flag51;
-
-      function Flag52 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Flag10;
-      end Flag52;
-
-      function Flag53 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Flag11;
-      end Flag53;
-
-      function Flag54 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Flag12;
-      end Flag54;
-
-      function Flag55 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Flag13;
-      end Flag55;
-
-      function Flag56 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Flag14;
-      end Flag56;
-
-      function Flag57 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Flag15;
-      end Flag57;
-
-      function Flag58 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Flag16;
-      end Flag58;
-
-      function Flag59 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Flag17;
-      end Flag59;
-
-      function Flag60 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Flag18;
-      end Flag60;
-
-      function Flag61 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Pflag1;
-      end Flag61;
-
-      function Flag62 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 1).Pflag2;
-      end Flag62;
-
-      function Flag63 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Pflag1;
-      end Flag63;
-
-      function Flag64 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 2).Pflag2;
-      end Flag64;
-
-      function Flag65 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Byte (Nodes.Table (N + 2).Nkind).Flag65;
-      end Flag65;
-
-      function Flag66 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Byte (Nodes.Table (N + 2).Nkind).Flag66;
-      end Flag66;
-
-      function Flag67 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Byte (Nodes.Table (N + 2).Nkind).Flag67;
-      end Flag67;
-
-      function Flag68 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Byte (Nodes.Table (N + 2).Nkind).Flag68;
-      end Flag68;
-
-      function Flag69 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Byte (Nodes.Table (N + 2).Nkind).Flag69;
-      end Flag69;
-
-      function Flag70 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Byte (Nodes.Table (N + 2).Nkind).Flag70;
-      end Flag70;
-
-      function Flag71 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Byte (Nodes.Table (N + 2).Nkind).Flag71;
-      end Flag71;
-
-      function Flag72 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Byte (Nodes.Table (N + 2).Nkind).Flag72;
-      end Flag72;
-
-      function Flag73 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag73;
-      end Flag73;
-
-      function Flag74 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag74;
-      end Flag74;
-
-      function Flag75 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag75;
-      end Flag75;
-
-      function Flag76 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag76;
-      end Flag76;
-
-      function Flag77 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag77;
-      end Flag77;
-
-      function Flag78 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag78;
-      end Flag78;
-
-      function Flag79 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag79;
-      end Flag79;
-
-      function Flag80 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag80;
-      end Flag80;
-
-      function Flag81 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag81;
-      end Flag81;
-
-      function Flag82 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag82;
-      end Flag82;
-
-      function Flag83 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag83;
-      end Flag83;
-
-      function Flag84 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag84;
-      end Flag84;
-
-      function Flag85 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag85;
-      end Flag85;
-
-      function Flag86 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag86;
-      end Flag86;
-
-      function Flag87 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag87;
-      end Flag87;
-
-      function Flag88 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag88;
-      end Flag88;
-
-      function Flag89 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag89;
-      end Flag89;
-
-      function Flag90 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag90;
-      end Flag90;
-
-      function Flag91 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag91;
-      end Flag91;
-
-      function Flag92 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag92;
-      end Flag92;
-
-      function Flag93 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag93;
-      end Flag93;
-
-      function Flag94 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag94;
-      end Flag94;
-
-      function Flag95 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag95;
-      end Flag95;
-
-      function Flag96 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word (Nodes.Table (N + 2).Field12).Flag96;
-      end Flag96;
-
-      function Flag97 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag97;
-      end Flag97;
-
-      function Flag98 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag98;
-      end Flag98;
-
-      function Flag99 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag99;
-      end Flag99;
-
-      function Flag100 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag100;
-      end Flag100;
-
-      function Flag101 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag101;
-      end Flag101;
-
-      function Flag102 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag102;
-      end Flag102;
-
-      function Flag103 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag103;
-      end Flag103;
-
-      function Flag104 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag104;
-      end Flag104;
-
-      function Flag105 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag105;
-      end Flag105;
-
-      function Flag106 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag106;
-      end Flag106;
-
-      function Flag107 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag107;
-      end Flag107;
-
-      function Flag108 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag108;
-      end Flag108;
-
-      function Flag109 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag109;
-      end Flag109;
-
-      function Flag110 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag110;
-      end Flag110;
-
-      function Flag111 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag111;
-      end Flag111;
-
-      function Flag112 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag112;
-      end Flag112;
-
-      function Flag113 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag113;
-      end Flag113;
-
-      function Flag114 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag114;
-      end Flag114;
-
-      function Flag115 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag115;
-      end Flag115;
-
-      function Flag116 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag116;
-      end Flag116;
-
-      function Flag117 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag117;
-      end Flag117;
-
-      function Flag118 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag118;
-      end Flag118;
-
-      function Flag119 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag119;
-      end Flag119;
-
-      function Flag120 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag120;
-      end Flag120;
-
-      function Flag121 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag121;
-      end Flag121;
-
-      function Flag122 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag122;
-      end Flag122;
-
-      function Flag123 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag123;
-      end Flag123;
-
-      function Flag124 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag124;
-      end Flag124;
-
-      function Flag125 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag125;
-      end Flag125;
-
-      function Flag126 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag126;
-      end Flag126;
-
-      function Flag127 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag127;
-      end Flag127;
-
-      function Flag128 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word2 (Nodes.Table (N + 3).Field12).Flag128;
-      end Flag128;
-
-      function Flag129 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).In_List;
-      end Flag129;
-
-      function Flag130 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Unused_1;
-      end Flag130;
-
-      function Flag131 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Rewrite_Ins;
-      end Flag131;
-
-      function Flag132 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Analyzed;
-      end Flag132;
-
-      function Flag133 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Comes_From_Source;
-      end Flag133;
-
-      function Flag134 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Error_Posted;
-      end Flag134;
-
-      function Flag135 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Flag4;
-      end Flag135;
-
-      function Flag136 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Flag5;
-      end Flag136;
-
-      function Flag137 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Flag6;
-      end Flag137;
-
-      function Flag138 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Flag7;
-      end Flag138;
-
-      function Flag139 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Flag8;
-      end Flag139;
-
-      function Flag140 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Flag9;
-      end Flag140;
-
-      function Flag141 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Flag10;
-      end Flag141;
-
-      function Flag142 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Flag11;
-      end Flag142;
-
-      function Flag143 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Flag12;
-      end Flag143;
-
-      function Flag144 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Flag13;
-      end Flag144;
-
-      function Flag145 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Flag14;
-      end Flag145;
-
-      function Flag146 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Flag15;
-      end Flag146;
-
-      function Flag147 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Flag16;
-      end Flag147;
-
-      function Flag148 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Flag17;
-      end Flag148;
-
-      function Flag149 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Flag18;
-      end Flag149;
-
-      function Flag150 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Pflag1;
-      end Flag150;
-
-      function Flag151 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return Nodes.Table (N + 3).Pflag2;
-      end Flag151;
-
-      function Flag152 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag152;
-      end Flag152;
-
-      function Flag153 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag153;
-      end Flag153;
-
-      function Flag154 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag154;
-      end Flag154;
-
-      function Flag155 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag155;
-      end Flag155;
-
-      function Flag156 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag156;
-      end Flag156;
-
-      function Flag157 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag157;
-      end Flag157;
-
-      function Flag158 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag158;
-      end Flag158;
-
-      function Flag159 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag159;
-      end Flag159;
-
-      function Flag160 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag160;
-      end Flag160;
-
-      function Flag161 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag161;
-      end Flag161;
-
-      function Flag162 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag162;
-      end Flag162;
-
-      function Flag163 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag163;
-      end Flag163;
-
-      function Flag164 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag164;
-      end Flag164;
-
-      function Flag165 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag165;
-      end Flag165;
-
-      function Flag166 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag166;
-      end Flag166;
-
-      function Flag167 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag167;
-      end Flag167;
-
-      function Flag168 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag168;
-      end Flag168;
-
-      function Flag169 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag169;
-      end Flag169;
-
-      function Flag170 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag170;
-      end Flag170;
-
-      function Flag171 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag171;
-      end Flag171;
-
-      function Flag172 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag172;
-      end Flag172;
-
-      function Flag173 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag173;
-      end Flag173;
-
-      function Flag174 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag174;
-      end Flag174;
-
-      function Flag175 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag175;
-      end Flag175;
-
-      function Flag176 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag176;
-      end Flag176;
-
-      function Flag177 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag177;
-      end Flag177;
-
-      function Flag178 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag178;
-      end Flag178;
-
-      function Flag179 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag179;
-      end Flag179;
-
-      function Flag180 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag180;
-      end Flag180;
-
-      function Flag181 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag181;
-      end Flag181;
-
-      function Flag182 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag182;
-      end Flag182;
-
-      function Flag183 (N : Node_Id) return Boolean is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         return To_Flag_Word3 (Nodes.Table (N + 3).Field11).Flag183;
-      end Flag183;
-
-      procedure Set_Nkind (N : Node_Id; Val : Node_Kind) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Nkind := Val;
-      end Set_Nkind;
-
-      procedure Set_Field1 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field1 := Val;
-      end Set_Field1;
-
-      procedure Set_Field2 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field2 := Val;
-      end Set_Field2;
-
-      procedure Set_Field3 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field3 := Val;
-      end Set_Field3;
-
-      procedure Set_Field4 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field4 := Val;
-      end Set_Field4;
-
-      procedure Set_Field5 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field5 := Val;
-      end Set_Field5;
-
-      procedure Set_Field6 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field6 := Val;
-      end Set_Field6;
-
-      procedure Set_Field7 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field7 := Val;
-      end Set_Field7;
-
-      procedure Set_Field8 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field8 := Val;
-      end Set_Field8;
-
-      procedure Set_Field9 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field9 := Val;
-      end Set_Field9;
-
-      procedure Set_Field10 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field10 := Val;
-      end Set_Field10;
-
-      procedure Set_Field11 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field11 := Val;
-      end Set_Field11;
-
-      procedure Set_Field12 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field12 := Val;
-      end Set_Field12;
-
-      procedure Set_Field13 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field6 := Val;
-      end Set_Field13;
-
-      procedure Set_Field14 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field7 := Val;
-      end Set_Field14;
-
-      procedure Set_Field15 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field8 := Val;
-      end Set_Field15;
-
-      procedure Set_Field16 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field9 := Val;
-      end Set_Field16;
-
-      procedure Set_Field17 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field10 := Val;
-      end Set_Field17;
-
-      procedure Set_Field18 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field11 := Val;
-      end Set_Field18;
-
-      procedure Set_Field19 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Field6 := Val;
-      end Set_Field19;
-
-      procedure Set_Field20 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Field7 := Val;
-      end Set_Field20;
-
-      procedure Set_Field21 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Field8 := Val;
-      end Set_Field21;
-
-      procedure Set_Field22 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Field9 := Val;
-      end Set_Field22;
-
-      procedure Set_Field23 (N : Node_Id; Val : Union_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Field10 := Val;
-      end Set_Field23;
-
-      procedure Set_Node1 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field1 := Union_Id (Val);
-      end Set_Node1;
-
-      procedure Set_Node2 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field2 := Union_Id (Val);
-      end Set_Node2;
-
-      procedure Set_Node3 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field3 := Union_Id (Val);
-      end Set_Node3;
-
-      procedure Set_Node4 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field4 := Union_Id (Val);
-      end Set_Node4;
-
-      procedure Set_Node5 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field5 := Union_Id (Val);
-      end Set_Node5;
-
-      procedure Set_Node6 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field6 := Union_Id (Val);
-      end Set_Node6;
-
-      procedure Set_Node7 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field7 := Union_Id (Val);
-      end Set_Node7;
-
-      procedure Set_Node8 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field8 := Union_Id (Val);
-      end Set_Node8;
-
-      procedure Set_Node9 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field9 := Union_Id (Val);
-      end Set_Node9;
-
-      procedure Set_Node10 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field10 := Union_Id (Val);
-      end Set_Node10;
-
-      procedure Set_Node11 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field11 := Union_Id (Val);
-      end Set_Node11;
-
-      procedure Set_Node12 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field12 := Union_Id (Val);
-      end Set_Node12;
-
-      procedure Set_Node13 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field6 := Union_Id (Val);
-      end Set_Node13;
-
-      procedure Set_Node14 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field7 := Union_Id (Val);
-      end Set_Node14;
-
-      procedure Set_Node15 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field8 := Union_Id (Val);
-      end Set_Node15;
-
-      procedure Set_Node16 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field9 := Union_Id (Val);
-      end Set_Node16;
-
-      procedure Set_Node17 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field10 := Union_Id (Val);
-      end Set_Node17;
-
-      procedure Set_Node18 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field11 := Union_Id (Val);
-      end Set_Node18;
-
-      procedure Set_Node19 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Field6 := Union_Id (Val);
-      end Set_Node19;
-
-      procedure Set_Node20 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Field7 := Union_Id (Val);
-      end Set_Node20;
-
-      procedure Set_Node21 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Field8 := Union_Id (Val);
-      end Set_Node21;
-
-      procedure Set_Node22 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Field9 := Union_Id (Val);
-      end Set_Node22;
-
-      procedure Set_Node23 (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Field10 := Union_Id (Val);
-      end Set_Node23;
-
-      procedure Set_List1 (N : Node_Id; Val : List_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field1 := Union_Id (Val);
-      end Set_List1;
-
-      procedure Set_List2 (N : Node_Id; Val : List_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field2 := Union_Id (Val);
-      end Set_List2;
-
-      procedure Set_List3 (N : Node_Id; Val : List_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field3 := Union_Id (Val);
-      end Set_List3;
-
-      procedure Set_List4 (N : Node_Id; Val : List_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field4 := Union_Id (Val);
-      end Set_List4;
-
-      procedure Set_List5 (N : Node_Id; Val : List_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field5 := Union_Id (Val);
-      end Set_List5;
-
-      procedure Set_List10 (N : Node_Id; Val : List_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field10 := Union_Id (Val);
-      end Set_List10;
-
-      procedure Set_List14 (N : Node_Id; Val : List_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field7 := Union_Id (Val);
-      end Set_List14;
-
-      procedure Set_Elist2 (N : Node_Id; Val : Elist_Id) is
-      begin
-         Nodes.Table (N).Field2 := Union_Id (Val);
-      end Set_Elist2;
-
-      procedure Set_Elist3 (N : Node_Id; Val : Elist_Id) is
-      begin
-         Nodes.Table (N).Field3 := Union_Id (Val);
-      end Set_Elist3;
-
-      procedure Set_Elist4 (N : Node_Id; Val : Elist_Id) is
-      begin
-         Nodes.Table (N).Field4 := Union_Id (Val);
-      end Set_Elist4;
-
-      procedure Set_Elist8 (N : Node_Id; Val : Elist_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field8 := Union_Id (Val);
-      end Set_Elist8;
-
-      procedure Set_Elist13 (N : Node_Id; Val : Elist_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field6 := Union_Id (Val);
-      end Set_Elist13;
-
-      procedure Set_Elist15 (N : Node_Id; Val : Elist_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field8 := Union_Id (Val);
-      end Set_Elist15;
-
-      procedure Set_Elist16 (N : Node_Id; Val : Elist_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field9 := Union_Id (Val);
-      end Set_Elist16;
-
-      procedure Set_Elist18 (N : Node_Id; Val : Elist_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field11 := Union_Id (Val);
-      end Set_Elist18;
-
-      procedure Set_Elist21 (N : Node_Id; Val : Elist_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Field8 := Union_Id (Val);
-      end Set_Elist21;
-
-      procedure Set_Elist23 (N : Node_Id; Val : Elist_Id) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Field10 := Union_Id (Val);
-      end Set_Elist23;
-
-      procedure Set_Name1 (N : Node_Id; Val : Name_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field1 := Union_Id (Val);
-      end Set_Name1;
-
-      procedure Set_Name2 (N : Node_Id; Val : Name_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field2 := Union_Id (Val);
-      end Set_Name2;
-
-      procedure Set_Str3 (N : Node_Id; Val : String_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field3 := Union_Id (Val);
-      end Set_Str3;
-
-      procedure Set_Uint3 (N : Node_Id; Val : Uint) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field3 := To_Union (Val);
-      end Set_Uint3;
-
-      procedure Set_Uint4 (N : Node_Id; Val : Uint) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field4 := To_Union (Val);
-      end Set_Uint4;
-
-      procedure Set_Uint5 (N : Node_Id; Val : Uint) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field5 := To_Union (Val);
-      end Set_Uint5;
-
-      procedure Set_Uint8 (N : Node_Id; Val : Uint) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field8 := To_Union (Val);
-      end Set_Uint8;
-
-      procedure Set_Uint9 (N : Node_Id; Val : Uint) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field9 := To_Union (Val);
-      end Set_Uint9;
-
-      procedure Set_Uint10 (N : Node_Id; Val : Uint) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field10 := To_Union (Val);
-      end Set_Uint10;
-
-      procedure Set_Uint11 (N : Node_Id; Val : Uint) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field11 := To_Union (Val);
-      end Set_Uint11;
-
-      procedure Set_Uint12 (N : Node_Id; Val : Uint) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Field12 := To_Union (Val);
-      end Set_Uint12;
-
-      procedure Set_Uint13 (N : Node_Id; Val : Uint) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field6 := To_Union (Val);
-      end Set_Uint13;
-
-      procedure Set_Uint14 (N : Node_Id; Val : Uint) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field7 := To_Union (Val);
-      end Set_Uint14;
-
-      procedure Set_Uint15 (N : Node_Id; Val : Uint) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field8 := To_Union (Val);
-      end Set_Uint15;
-
-      procedure Set_Uint16 (N : Node_Id; Val : Uint) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field9 := To_Union (Val);
-      end Set_Uint16;
-
-      procedure Set_Uint17 (N : Node_Id; Val : Uint) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field10 := To_Union (Val);
-      end Set_Uint17;
-
-      procedure Set_Uint22 (N : Node_Id; Val : Uint) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Field9 := To_Union (Val);
-      end Set_Uint22;
-
-      procedure Set_Ureal3 (N : Node_Id; Val : Ureal) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field3 := To_Union (Val);
-      end Set_Ureal3;
-
-      procedure Set_Ureal18 (N : Node_Id; Val : Ureal) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Field11 := To_Union (Val);
-      end Set_Ureal18;
-
-      procedure Set_Ureal21 (N : Node_Id; Val : Ureal) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Field8 := To_Union (Val);
-      end Set_Ureal21;
-
-      procedure Set_Char_Code2 (N : Node_Id; Val : Char_Code) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Field2 := Union_Id (Val) + Char_Code_Bias;
-      end Set_Char_Code2;
-
-      procedure Set_Flag4 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Flag4 := Val;
-      end Set_Flag4;
-
-      procedure Set_Flag5 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Flag5 := Val;
-      end Set_Flag5;
-
-      procedure Set_Flag6 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Flag6 := Val;
-      end Set_Flag6;
-
-      procedure Set_Flag7 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Flag7 := Val;
-      end Set_Flag7;
-
-      procedure Set_Flag8 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Flag8 := Val;
-      end Set_Flag8;
-
-      procedure Set_Flag9 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Flag9 := Val;
-      end Set_Flag9;
-
-      procedure Set_Flag10 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Flag10 := Val;
-      end Set_Flag10;
-
-      procedure Set_Flag11 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Flag11 := Val;
-      end Set_Flag11;
-
-      procedure Set_Flag12 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Flag12 := Val;
-      end Set_Flag12;
-
-      procedure Set_Flag13 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Flag13 := Val;
-      end Set_Flag13;
-
-      procedure Set_Flag14 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Flag14 := Val;
-      end Set_Flag14;
-
-      procedure Set_Flag15 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Flag15 := Val;
-      end Set_Flag15;
-
-      procedure Set_Flag16 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Flag16 := Val;
-      end Set_Flag16;
-
-      procedure Set_Flag17 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Flag17 := Val;
-      end Set_Flag17;
-
-      procedure Set_Flag18 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         Nodes.Table (N).Flag18 := Val;
-      end Set_Flag18;
-
-      procedure Set_Flag19 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).In_List := Val;
-      end Set_Flag19;
-
-      procedure Set_Flag20 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Unused_1 := Val;
-      end Set_Flag20;
-
-      procedure Set_Flag21 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Rewrite_Ins := Val;
-      end Set_Flag21;
-
-      procedure Set_Flag22 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Analyzed := Val;
-      end Set_Flag22;
-
-      procedure Set_Flag23 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Comes_From_Source := Val;
-      end Set_Flag23;
-
-      procedure Set_Flag24 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Error_Posted := Val;
-      end Set_Flag24;
-
-      procedure Set_Flag25 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Flag4 := Val;
-      end Set_Flag25;
-
-      procedure Set_Flag26 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Flag5 := Val;
-      end Set_Flag26;
-
-      procedure Set_Flag27 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Flag6 := Val;
-      end Set_Flag27;
-
-      procedure Set_Flag28 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Flag7 := Val;
-      end Set_Flag28;
-
-      procedure Set_Flag29 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Flag8 := Val;
-      end Set_Flag29;
-
-      procedure Set_Flag30 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Flag9 := Val;
-      end Set_Flag30;
-
-      procedure Set_Flag31 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Flag10 := Val;
-      end Set_Flag31;
-
-      procedure Set_Flag32 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Flag11 := Val;
-      end Set_Flag32;
-
-      procedure Set_Flag33 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Flag12 := Val;
-      end Set_Flag33;
-
-      procedure Set_Flag34 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Flag13 := Val;
-      end Set_Flag34;
-
-      procedure Set_Flag35 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Flag14 := Val;
-      end Set_Flag35;
-
-      procedure Set_Flag36 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Flag15 := Val;
-      end Set_Flag36;
-
-      procedure Set_Flag37 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Flag16 := Val;
-      end Set_Flag37;
-
-      procedure Set_Flag38 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Flag17 := Val;
-      end Set_Flag38;
-
-      procedure Set_Flag39 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Flag18 := Val;
-      end Set_Flag39;
-
-      procedure Set_Flag40 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).In_List := Val;
-      end Set_Flag40;
-
-      procedure Set_Flag41 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Unused_1 := Val;
-      end Set_Flag41;
-
-      procedure Set_Flag42 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Rewrite_Ins := Val;
-      end Set_Flag42;
-
-      procedure Set_Flag43 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Analyzed := Val;
-      end Set_Flag43;
-
-      procedure Set_Flag44 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Comes_From_Source := Val;
-      end Set_Flag44;
-
-      procedure Set_Flag45 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Error_Posted := Val;
-      end Set_Flag45;
-
-      procedure Set_Flag46 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Flag4 := Val;
-      end Set_Flag46;
-
-      procedure Set_Flag47 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Flag5 := Val;
-      end Set_Flag47;
-
-      procedure Set_Flag48 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Flag6 := Val;
-      end Set_Flag48;
-
-      procedure Set_Flag49 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Flag7 := Val;
-      end Set_Flag49;
-
-      procedure Set_Flag50 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Flag8 := Val;
-      end Set_Flag50;
-
-      procedure Set_Flag51 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Flag9 := Val;
-      end Set_Flag51;
-
-      procedure Set_Flag52 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Flag10 := Val;
-      end Set_Flag52;
-
-      procedure Set_Flag53 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Flag11 := Val;
-      end Set_Flag53;
-
-      procedure Set_Flag54 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Flag12 := Val;
-      end Set_Flag54;
-
-      procedure Set_Flag55 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Flag13 := Val;
-      end Set_Flag55;
-
-      procedure Set_Flag56 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Flag14 := Val;
-      end Set_Flag56;
-
-      procedure Set_Flag57 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Flag15 := Val;
-      end Set_Flag57;
-
-      procedure Set_Flag58 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Flag16 := Val;
-      end Set_Flag58;
-
-      procedure Set_Flag59 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Flag17 := Val;
-      end Set_Flag59;
-
-      procedure Set_Flag60 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Flag18 := Val;
-      end Set_Flag60;
-
-      procedure Set_Flag61 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Pflag1 := Val;
-      end Set_Flag61;
-
-      procedure Set_Flag62 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 1).Pflag2 := Val;
-      end Set_Flag62;
-
-      procedure Set_Flag63 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Pflag1 := Val;
-      end Set_Flag63;
-
-      procedure Set_Flag64 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 2).Pflag2 := Val;
-      end Set_Flag64;
-
-      procedure Set_Flag65 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Byte_Ptr
-           (Node_Kind_Ptr'
-             (Nodes.Table (N + 2).Nkind'Unrestricted_Access)).Flag65 := Val;
-      end Set_Flag65;
-
-      procedure Set_Flag66 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Byte_Ptr
-           (Node_Kind_Ptr'
-             (Nodes.Table (N + 2).Nkind'Unrestricted_Access)).Flag66 := Val;
-      end Set_Flag66;
-
-      procedure Set_Flag67 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Byte_Ptr
-           (Node_Kind_Ptr'
-             (Nodes.Table (N + 2).Nkind'Unrestricted_Access)).Flag67 := Val;
-      end Set_Flag67;
-
-      procedure Set_Flag68 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Byte_Ptr
-           (Node_Kind_Ptr'
-             (Nodes.Table (N + 2).Nkind'Unrestricted_Access)).Flag68 := Val;
-      end Set_Flag68;
-
-      procedure Set_Flag69 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Byte_Ptr
-           (Node_Kind_Ptr'
-             (Nodes.Table (N + 2).Nkind'Unrestricted_Access)).Flag69 := Val;
-      end Set_Flag69;
-
-      procedure Set_Flag70 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Byte_Ptr
-           (Node_Kind_Ptr'
-             (Nodes.Table (N + 2).Nkind'Unrestricted_Access)).Flag70 := Val;
-      end Set_Flag70;
-
-      procedure Set_Flag71 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Byte_Ptr
-           (Node_Kind_Ptr'
-             (Nodes.Table (N + 2).Nkind'Unrestricted_Access)).Flag71 := Val;
-      end Set_Flag71;
-
-      procedure Set_Flag72 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Byte_Ptr
-           (Node_Kind_Ptr'
-             (Nodes.Table (N + 2).Nkind'Unrestricted_Access)).Flag72 := Val;
-      end Set_Flag72;
-
-      procedure Set_Flag73 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag73 := Val;
-      end Set_Flag73;
-
-      procedure Set_Flag74 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag74 := Val;
-      end Set_Flag74;
-
-      procedure Set_Flag75 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag75 := Val;
-      end Set_Flag75;
-
-      procedure Set_Flag76 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag76 := Val;
-      end Set_Flag76;
-
-      procedure Set_Flag77 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag77 := Val;
-      end Set_Flag77;
-
-      procedure Set_Flag78 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag78 := Val;
-      end Set_Flag78;
-
-      procedure Set_Flag79 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag79 := Val;
-      end Set_Flag79;
-
-      procedure Set_Flag80 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag80 := Val;
-      end Set_Flag80;
-
-      procedure Set_Flag81 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag81 := Val;
-      end Set_Flag81;
-
-      procedure Set_Flag82 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag82 := Val;
-      end Set_Flag82;
-
-      procedure Set_Flag83 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag83 := Val;
-      end Set_Flag83;
-
-      procedure Set_Flag84 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag84 := Val;
-      end Set_Flag84;
-
-      procedure Set_Flag85 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag85 := Val;
-      end Set_Flag85;
-
-      procedure Set_Flag86 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag86 := Val;
-      end Set_Flag86;
-
-      procedure Set_Flag87 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag87 := Val;
-      end Set_Flag87;
-
-      procedure Set_Flag88 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag88 := Val;
-      end Set_Flag88;
-
-      procedure Set_Flag89 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag89 := Val;
-      end Set_Flag89;
-
-      procedure Set_Flag90 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag90 := Val;
-      end Set_Flag90;
-
-      procedure Set_Flag91 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag91 := Val;
-      end Set_Flag91;
-
-      procedure Set_Flag92 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag92 := Val;
-      end Set_Flag92;
-
-      procedure Set_Flag93 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag93 := Val;
-      end Set_Flag93;
-
-      procedure Set_Flag94 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag94 := Val;
-      end Set_Flag94;
-
-      procedure Set_Flag95 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag95 := Val;
-      end Set_Flag95;
-
-      procedure Set_Flag96 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 2).Field12'Unrestricted_Access)).Flag96 := Val;
-      end Set_Flag96;
-
-      procedure Set_Flag97 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag97 := Val;
-      end Set_Flag97;
-
-      procedure Set_Flag98 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag98 := Val;
-      end Set_Flag98;
-
-      procedure Set_Flag99 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag99 := Val;
-      end Set_Flag99;
-
-      procedure Set_Flag100 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag100 := Val;
-      end Set_Flag100;
-
-      procedure Set_Flag101 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag101 := Val;
-      end Set_Flag101;
-
-      procedure Set_Flag102 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag102 := Val;
-      end Set_Flag102;
-
-      procedure Set_Flag103 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag103 := Val;
-      end Set_Flag103;
-
-      procedure Set_Flag104 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag104 := Val;
-      end Set_Flag104;
-
-      procedure Set_Flag105 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag105 := Val;
-      end Set_Flag105;
-
-      procedure Set_Flag106 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag106 := Val;
-      end Set_Flag106;
-
-      procedure Set_Flag107 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag107 := Val;
-      end Set_Flag107;
-
-      procedure Set_Flag108 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag108 := Val;
-      end Set_Flag108;
-
-      procedure Set_Flag109 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag109 := Val;
-      end Set_Flag109;
-
-      procedure Set_Flag110 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag110 := Val;
-      end Set_Flag110;
-
-      procedure Set_Flag111 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag111 := Val;
-      end Set_Flag111;
-
-      procedure Set_Flag112 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag112 := Val;
-      end Set_Flag112;
-
-      procedure Set_Flag113 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag113 := Val;
-      end Set_Flag113;
-
-      procedure Set_Flag114 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag114 := Val;
-      end Set_Flag114;
-
-      procedure Set_Flag115 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag115 := Val;
-      end Set_Flag115;
-
-      procedure Set_Flag116 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag116 := Val;
-      end Set_Flag116;
-
-      procedure Set_Flag117 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag117 := Val;
-      end Set_Flag117;
-
-      procedure Set_Flag118 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag118 := Val;
-      end Set_Flag118;
-
-      procedure Set_Flag119 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag119 := Val;
-      end Set_Flag119;
-
-      procedure Set_Flag120 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag120 := Val;
-      end Set_Flag120;
-
-      procedure Set_Flag121 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag121 := Val;
-      end Set_Flag121;
-
-      procedure Set_Flag122 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag122 := Val;
-      end Set_Flag122;
-
-      procedure Set_Flag123 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag123 := Val;
-      end Set_Flag123;
-
-      procedure Set_Flag124 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag124 := Val;
-      end Set_Flag124;
-
-      procedure Set_Flag125 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag125 := Val;
-      end Set_Flag125;
-
-      procedure Set_Flag126 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag126 := Val;
-      end Set_Flag126;
-
-      procedure Set_Flag127 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag127 := Val;
-      end Set_Flag127;
-
-      procedure Set_Flag128 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word2_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field12'Unrestricted_Access)).Flag128 := Val;
-      end Set_Flag128;
-
-      procedure Set_Flag129 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).In_List := Val;
-      end Set_Flag129;
-
-      procedure Set_Flag130 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Unused_1 := Val;
-      end Set_Flag130;
-
-      procedure Set_Flag131 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Rewrite_Ins := Val;
-      end Set_Flag131;
-
-      procedure Set_Flag132 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Analyzed := Val;
-      end Set_Flag132;
-
-      procedure Set_Flag133 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Comes_From_Source := Val;
-      end Set_Flag133;
-
-      procedure Set_Flag134 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Error_Posted := Val;
-      end Set_Flag134;
-
-      procedure Set_Flag135 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Flag4 := Val;
-      end Set_Flag135;
-
-      procedure Set_Flag136 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Flag5 := Val;
-      end Set_Flag136;
-
-      procedure Set_Flag137 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Flag6 := Val;
-      end Set_Flag137;
-
-      procedure Set_Flag138 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Flag7 := Val;
-      end Set_Flag138;
-
-      procedure Set_Flag139 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Flag8 := Val;
-      end Set_Flag139;
-
-      procedure Set_Flag140 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Flag9 := Val;
-      end Set_Flag140;
-
-      procedure Set_Flag141 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Flag10 := Val;
-      end Set_Flag141;
-
-      procedure Set_Flag142 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Flag11 := Val;
-      end Set_Flag142;
-
-      procedure Set_Flag143 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Flag12 := Val;
-      end Set_Flag143;
-
-      procedure Set_Flag144 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Flag13 := Val;
-      end Set_Flag144;
-
-      procedure Set_Flag145 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Flag14 := Val;
-      end Set_Flag145;
-
-      procedure Set_Flag146 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Flag15 := Val;
-      end Set_Flag146;
-
-      procedure Set_Flag147 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Flag16 := Val;
-      end Set_Flag147;
-
-      procedure Set_Flag148 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Flag17 := Val;
-      end Set_Flag148;
-
-      procedure Set_Flag149 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Flag18 := Val;
-      end Set_Flag149;
-
-      procedure Set_Flag150 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Pflag1 := Val;
-      end Set_Flag150;
-
-      procedure Set_Flag151 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         Nodes.Table (N + 3).Pflag2 := Val;
-      end Set_Flag151;
-
-      procedure Set_Flag152 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag152 := Val;
-      end Set_Flag152;
-
-      procedure Set_Flag153 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag153 := Val;
-      end Set_Flag153;
-
-      procedure Set_Flag154 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag154 := Val;
-      end Set_Flag154;
-
-      procedure Set_Flag155 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag155 := Val;
-      end Set_Flag155;
-
-      procedure Set_Flag156 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag156 := Val;
-      end Set_Flag156;
-
-      procedure Set_Flag157 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag157 := Val;
-      end Set_Flag157;
-
-      procedure Set_Flag158 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag158 := Val;
-      end Set_Flag158;
-
-      procedure Set_Flag159 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag159 := Val;
-      end Set_Flag159;
-
-      procedure Set_Flag160 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag160 := Val;
-      end Set_Flag160;
-
-      procedure Set_Flag161 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag161 := Val;
-      end Set_Flag161;
-
-      procedure Set_Flag162 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag162 := Val;
-      end Set_Flag162;
-
-      procedure Set_Flag163 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag163 := Val;
-      end Set_Flag163;
-
-      procedure Set_Flag164 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag164 := Val;
-      end Set_Flag164;
-
-      procedure Set_Flag165 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag165 := Val;
-      end Set_Flag165;
-
-      procedure Set_Flag166 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag166 := Val;
-      end Set_Flag166;
-
-      procedure Set_Flag167 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag167 := Val;
-      end Set_Flag167;
-
-      procedure Set_Flag168 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag168 := Val;
-      end Set_Flag168;
-
-      procedure Set_Flag169 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag169 := Val;
-      end Set_Flag169;
-
-      procedure Set_Flag170 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag170 := Val;
-      end Set_Flag170;
-
-      procedure Set_Flag171 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag171 := Val;
-      end Set_Flag171;
-
-      procedure Set_Flag172 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag172 := Val;
-      end Set_Flag172;
-
-      procedure Set_Flag173 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag173 := Val;
-      end Set_Flag173;
-
-      procedure Set_Flag174 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag174 := Val;
-      end Set_Flag174;
-
-      procedure Set_Flag175 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag175 := Val;
-      end Set_Flag175;
-
-      procedure Set_Flag176 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag176 := Val;
-      end Set_Flag176;
-
-      procedure Set_Flag177 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag177 := Val;
-      end Set_Flag177;
-
-      procedure Set_Flag178 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag178 := Val;
-      end Set_Flag178;
-
-      procedure Set_Flag179 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag179 := Val;
-      end Set_Flag179;
-
-      procedure Set_Flag180 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag180 := Val;
-      end Set_Flag180;
-
-      procedure Set_Flag181 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag181 := Val;
-      end Set_Flag181;
-
-      procedure Set_Flag182 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag182 := Val;
-      end Set_Flag182;
-
-      procedure Set_Flag183 (N : Node_Id; Val : Boolean) is
-      begin
-         pragma Assert (Nkind (N) in N_Entity);
-         To_Flag_Word3_Ptr
-           (Union_Id_Ptr'
-             (Nodes.Table (N + 3).Field11'Unrestricted_Access)).Flag183 := Val;
-      end Set_Flag183;
-
-      procedure Set_Node1_With_Parent (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         if Val > Error then Set_Parent (Val, N); end if;
-         Set_Node1 (N, Val);
-      end Set_Node1_With_Parent;
-
-      procedure Set_Node2_With_Parent (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         if Val > Error then Set_Parent (Val, N); end if;
-         Set_Node2 (N, Val);
-      end Set_Node2_With_Parent;
-
-      procedure Set_Node3_With_Parent (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         if Val > Error then Set_Parent (Val, N); end if;
-         Set_Node3 (N, Val);
-      end Set_Node3_With_Parent;
-
-      procedure Set_Node4_With_Parent (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         if Val > Error then Set_Parent (Val, N); end if;
-         Set_Node4 (N, Val);
-      end Set_Node4_With_Parent;
-
-      procedure Set_Node5_With_Parent (N : Node_Id; Val : Node_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         if Val > Error then Set_Parent (Val, N); end if;
-         Set_Node5 (N, Val);
-      end Set_Node5_With_Parent;
-
-      procedure Set_List1_With_Parent (N : Node_Id; Val : List_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         if Val /= No_List and then Val /= Error_List then
-            Set_Parent (Val, N);
-         end if;
-         Set_List1 (N, Val);
-      end Set_List1_With_Parent;
-
-      procedure Set_List2_With_Parent (N : Node_Id; Val : List_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         if Val /= No_List and then Val /= Error_List then
-            Set_Parent (Val, N);
-         end if;
-         Set_List2 (N, Val);
-      end Set_List2_With_Parent;
-
-      procedure Set_List3_With_Parent (N : Node_Id; Val : List_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         if Val /= No_List and then Val /= Error_List then
-            Set_Parent (Val, N);
-         end if;
-         Set_List3 (N, Val);
-      end Set_List3_With_Parent;
-
-      procedure Set_List4_With_Parent (N : Node_Id; Val : List_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         if Val /= No_List and then Val /= Error_List then
-            Set_Parent (Val, N);
-         end if;
-         Set_List4 (N, Val);
-      end Set_List4_With_Parent;
-
-      procedure Set_List5_With_Parent (N : Node_Id; Val : List_Id) is
-      begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
-         if Val /= No_List and then Val /= Error_List then
-            Set_Parent (Val, N);
-         end if;
-         Set_List5 (N, Val);
-      end Set_List5_With_Parent;
-
-   end Unchecked_Access;
-
-end Atree;