L>struct Page {
L>...
L>Metadata
L>...
L>int32_t num_items;
L>int32_t offsets[];
L>};
L>

type Page (LoOfs,HiOfs : integer) is new record 
   ...
   Metadata
   ...
   Offsets : Integer_Array (LoOfs, HiOfs);
end record;