gcc/testsuite/gnat.dg/case_optimization1.ads

with Case_Optimization_Pkg1; use Case_Optimization_Pkg1;

package Case_Optimization1 is

   function Len (E : Element) return Integer;
 
end Case_Optimization1;