5 procedure Change (x : integer);
9 type Handle is access protected procedure (X : Integer);
10 procedure Manage (Ptr : Handle) is
15 protected body prot is
16 procedure Change (x : integer) is begin null; end;
21 Manage (Sema.Change'Unrestricted_Access);