with Opt23_Pkg; use Opt23_Pkg; package Opt24 is procedure Proc (Driver : Rec); end Opt24;