--with GNAT.SHA1; use GNAT.SHA1;
--with GNAT.SHA224; use GNAT.SHA224;
--with GNAT.SHA256; use GNAT.SHA256;
--with GNAT.SHA384; use GNAT.SHA384;
with GNAT.SHA512; use GNAT.SHA512;
with Ada.Text_IO; use Ada.Text_IO;

procedure SHA is
   D : Message_Digest := Digest("This is a message");
begin
   Put_Line("Length : " & Integer'Image(D'Length));
   Put_Line("Message: " & D);
end SHA;