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;