1-- { dg-do compile }
2
3with Text_IO; use Text_IO;
4
5procedure Dump (A : System.Address; Len : Storage_Offset) is
6
7   Arr : Storage_Array (1 .. Len);
8   for Arr'Address use A;
9   pragma Import (Ada, Arr);
10
11   H : constant array (Storage_Element range 0 .. 15) of Character :=
12         "0123456789abcdef";
13begin
14   for J in Arr'Range loop
15      Put (' ' & H (Arr (J) / 16) & H (Arr (J) mod 16));
16   end loop;
17end;
18