Reading records with Ada.Direct_IO

tail.adb

with Ada.Direct_IO;
with Ada.Text_IO; --  For demonstration purposes.

procedure Tail is
   type Your_Record is String (1 .. 8);

   package Record_IO is new Ada.Direct_IO (Element_Type => Your_Record);
   Source : Record_IO.File_Type;
   Value  : Your_Record;
begin
   Record_IO.Open (Name => "your_file",
                   File => Source,
                   Mode => Record_IO.In_File);
                   
   for Index in Record_IO.Size (Source) - 3 .. Record_IO.Size (Source) loop
      Direct_IO.Read (File => Source,
                      From => Index,
                      Item => Value);
      Ada.Text_IO.Put_Line ("Index: " & Index'Image & " Value: """ & Value & """");
   end loop;
   
   Record_IO.Close (File => Source);
end Tail;