Ada 9X question: accessibility

[papay@ACM.ORG (There can be only one)]

I was reading over the Ada 9X Reference Manual section on Access Types and
wanted to make sure I understood "accessibility" correctly.  I would appreciate 
any comments/confirmation on the following:


procedure Example is

   type Access_Integer_Type is access all Integer;
   Ptr_1  : Access_Integer_Type;
   Int_1  : aliased Integer;

begin
   Local_Block:
   declare
      Ptr_2  : Access_Integer_Type;
      Int_2  : aliased Integer;
   begin
      Ptr_1 := Int_1'Access; -- Legal.
      Ptr_1 := Int_2'Access; -- Illegal.
      Ptr_2 := Int_1'Access; -- Legal?
      Ptr_2 := Int_2'Access; -- Illegal?
   end Local_Block;
end Example;

As I understand it, the first assignment statement is legal, but the second one
is not because Int_2 is not dynamically accessible from the access type
Access_Integer_Type (and it's pretty obvious this would leave a dangling
reference).  What about the last two assignment statements?

Thanks in advance for your comments/help.

   
                             |         |
David Papay                  |    o    | 
papay@acm.org  (preferred)   |  ^/---  | <insert your favorite disclaimer here>
dpapay@aol.com (alternate)   |  />     |
                             |         |
                             | fleche! |