diff --git a/runtime/adainclude/interfaces.ads b/runtime/adainclude/interfaces.ads
new file mode 100644
index 0000000..4f56bb9
--- /dev/null
+++ b/runtime/adainclude/interfaces.ads
@@ -0,0 +1,18 @@
+package Interfaces
+   with Pure is
+
+   type Integer_32 is range -2**31 .. 2**31 - 1;
+   type Unsigned_32 is mod 2**32;
+
+   function Shift_Left (Value : Unsigned_32; Amount : Natural)
+      return Unsigned_32 with Import, Convention => Intrinsic;
+   function Shift_Right (Value : Unsigned_32; Amount : Natural)
+      return Unsigned_32 with Import, Convention => Intrinsic;
+   function Shift_Right_Arithmetic (Value : Unsigned_32; Amount : Natural)
+      return Unsigned_32 with Import, Convention => Intrinsic;
+   function Rotate_Left (Value : Unsigned_32; Amount : Natural)
+      return Unsigned_32 with Import, Convention => Intrinsic;
+   function Rotate_Right (Value : Unsigned_32; Amount : Natural)
+      return Unsigned_32 with Import, Convention => Intrinsic;
+
+end Interfaces;