with Case_Optimization_Pkg1; use Case_Optimization_Pkg1; package Case_Optimization1 is function Len (E : Element) return Integer; end Case_Optimization1;