1--  { dg-do run }
2--  { dg-options -gnata }
3
4with Prot5_Pkg;
5
6procedure Prot5 is
7begin
8   Prot5_Pkg.P.Proc (10);                   --  explicit parameter
9   Prot5_Pkg.P.Proc (Prot5_Pkg.P.Get_Data); --  explicit call to protected operation
10   Prot5_Pkg.P.Proc;                        -- defaulted call.
11   pragma Assert (Prot5_Pkg.P.Get_Data = 80);
12end Prot5;
13