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