testsuite/gnat.dg/opt23.ads

with Opt23_Pkg; use Opt23_Pkg;

package Opt23 is

    procedure Proc (Driver : Rec);

end Opt23;