generic
   Elaborate : Boolean := True;
   with procedure Proc;

package Elab3_Pkg is
   procedure Elaborator;
end Elab3_Pkg;