gcc/testsuite/gnat.dg/opt64_pkg.ads

package Opt64_PKG is
   type Hash is new string (1 .. 1);   
   Last_Hash : Hash;
     
   procedure Encode (X : Integer);
end;