1-- { dg-do compile } 2-- { dg-options "-O -gnatn -Winline" } 3 4with Inline11_Pkg; use Inline11_Pkg; 5 6procedure Inline11 is 7begin 8 Trace (0); 9end; 10