with Elab6_Pkg; generic package Elab6 is procedure Force_Body; end Elab6;