1with Opt23_Pkg; use Opt23_Pkg; 2 3package Opt24 is 4 5 procedure Proc (Driver : Rec); 6 7end Opt24; 8