package Opt15_Pkg is

  procedure Trace_Inlined;
  pragma Inline (Trace_Inlined);

end Opt15_Pkg;