FILO: Pack buffers (for safe unchecked conversions)
diff --git a/src/filo.ads b/src/filo.ads
index 6c21c8c..0ddc52c 100644
--- a/src/filo.ads
+++ b/src/filo.ads
@@ -16,7 +16,9 @@
subtype Index_Type16 is Index_Type range 0 .. Index_Type'Last - 1;
subtype Index_Type32 is Index_Type16 range 0 .. Index_Type16'Last - 2;
- type Buffer_Type is array (Index_Type range <>) of Unsigned_8;
+ type Buffer_Type is array (Index_Type range <>) of Unsigned_8
+ with
+ Pack;
function Read_LE16 (Buf : Buffer_Type; Off : Index_Type16) return Unsigned_16
is