package Cxx.Genode
   with SPARK_Mode => On
is
   subtype Int8_T is Genode_Int8_T;
   subtype Int8_T_Array is Genode_Int8_T_Array;
   subtype Uint8_T is Genode_Uint8_T;
   subtype Uint8_T_Array is Genode_Uint8_T_Array;
   subtype Int16_T is Genode_Int16_T;
   subtype Int16_T_Array is Genode_Int16_T_Array;
   subtype Uint16_T is Genode_Uint16_T;
   subtype Uint16_T_Array is Genode_Uint16_T_Array;
   subtype Int32_T is Genode_Int32_T;
   subtype Int32_T_Array is Genode_Int32_T_Array;
   subtype Uint32_T is Genode_Uint32_T;
   subtype Uint32_T_Array is Genode_Uint32_T_Array;
   subtype Int64_T is Genode_Int64_T;
   subtype Int64_T_Array is Genode_Int64_T_Array;
   subtype Uint64_T is Genode_Uint64_T;
   subtype Uint64_T_Array is Genode_Uint64_T_Array;
end Cxx.Genode;
