gcc/testsuite/gnat.dg/encode_string1_pkg.ads

generic
   type C is private;
   type S is array (Positive range <>) of C;
   with function Encode (Val : S) return String;

procedure Encode_String1_Pkg (Val : S);