Verify the size of a file called     input.txt     for a file in the current working directory, and another one in the file system root.




with Ada.Directories;  use Ada.Directories;
with Ada.Text_IO;      use Ada.Text_IO;
 
procedure Test_File_Size is
begin
   Put_Line (File_Size'Image (Size ("input.txt")) & " bytes");
   Put_Line (File_Size'Image (Size ("/input.txt")) & " bytes");
end Test_File_Size;