with Opt23_Pkg; use Opt23_Pkg;

package Opt23 is

    procedure Proc (Driver : Rec);

end Opt23;