diff --git a/ada/posix/hw-file.adb b/ada/posix/hw-file.adb
index e2384be..dd9d7f3 100644
--- a/ada/posix/hw-file.adb
+++ b/ada/posix/hw-file.adb
@@ -14,6 +14,7 @@
 
 with Interfaces.C;
 with Interfaces.C.Strings;
+with Ada.Directories;
 
 with HW.Debug;
 
@@ -68,4 +69,18 @@
       pragma Debug (not Success, Debug.New_Line);
    end Map;
 
+   procedure Size (Length : out Natural; Path : String)
+   with
+      SPARK_Mode => Off
+   is
+      use type Ada.Directories.File_Size;
+      Res_Size : Ada.Directories.File_Size;
+   begin
+      Res_Size := Ada.Directories.Size (Path);
+      Length := Natural (Res_Size);
+   exception
+      when others =>
+         Length := 0;
+   end Size;
+
 end HW.File;