1-- { dg-do compile }
2
3with pointer_protected_p;
4
5procedure pointer_protected is
6   Pointer : pointer_protected_p.Ptr := null;
7   Data    : pointer_protected_p.T;
8begin
9   Pointer.all (Data);
10end pointer_protected;
11