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;