with System.Storage_Elements; use System.Storage_Elements;
procedure Dump (A : System.Address; Len : Storage_Offset);