3716       procedure Push_Region;  subprogspec
3717       pragma Inline (Push_Region);
3766       procedure Push_Region is  subprogram
3772       end Push_Region;
4523             Push_Region;
4559             Push_Region;
5032       procedure Push_Region;  subprogspec
5033       pragma Inline (Push_Region);
5126       procedure Push_Region is  subprogram
5133       end Push_Region;
5991             Push_Region;
6032             Push_Region;