diff --git a/src/fs-filo-vfs.ads b/src/fs-filo-vfs.ads
new file mode 100644
index 0000000..ce5da18
--- /dev/null
+++ b/src/fs-filo-vfs.ads
@@ -0,0 +1,28 @@
+with System;
+with Interfaces.C;
+with Interfaces.C.Strings;
+
+use Interfaces.C;
+
+generic
+
+   with procedure Mount (Success : out Boolean);
+
+   with procedure Open (File_Path : String; Success : out Boolean);
+   with procedure Close;
+
+   with procedure Read (Buf : out Buffer_Type; Success : out Boolean);
+
+package FS.FILO.VFS
+with
+   SPARK_Mode => Off
+is
+
+   function C_Mount return int is (0);
+
+   function C_Open (File_Path : Strings.chars_ptr) return int is (0);
+   procedure C_Close is null;
+   
+   function C_Read (Buf : System.Address; Len : int) return int is (0);
+
+end FS.FILO.VFS;