1-- { dg-do compile }
2
3procedure access1 is
4   protected Objet is
5      procedure p;
6   end Objet;
7   protected body Objet is
8      procedure p is
9      begin
10         null;
11      end p;
12   end Objet;
13   type wrapper is record
14      Ptr : access protected procedure := Objet.p'access;
15   end record;
16   It : wrapper;
17   PP : access protected procedure;
18begin
19   PP := Objet.p'access;
20   PP.all;
21   It.Ptr.all;
22end;
23