-#ifndef INT8_MIN
-#define INT8_MIN (-128)
-#define INT16_MIN (-32767-1)
-#define INT32_MIN (-2147483647-1)
-#define INT64_MIN (-9223372036854775807LL-1)
-#define INT8_MAX (127)
-#define INT16_MAX (32767)
-#define INT32_MAX (2147483647)
-#define INT64_MAX (9223372036854775807LL)
-#define UINT8_MAX (255U)
-#define UINT16_MAX (65535U)
-#define UINT32_MAX (4294967295U)
-#define UINT64_MAX (18446744073709551615ULL)
-/* Define these types too. Some C 99 code may assume that if INT8_MIN
- is defined then int8_t is also present. */
-typedef StgInt8 int8_t;
-typedef StgInt16 int16_t;
-typedef StgInt32 int32_t;
-typedef StgInt64 int64_t;
-typedef StgWord8 uint8_t;
-typedef StgWord16 uint16_t;
-typedef StgWord32 uint32_t;
-typedef StgWord64 uint64_t;
+#define __INT8_MIN (-128)
+#define __INT16_MIN (-32767-1)
+#define __INT32_MIN (-2147483647-1)
+#define __INT64_MIN (-9223372036854775807LL-1)
+#define __INT8_MAX (127)
+#define __INT16_MAX (32767)
+#define __INT32_MAX (2147483647)
+#define __INT64_MAX (9223372036854775807LL)
+#define __UINT8_MAX (255U)
+#define __UINT16_MAX (65535U)
+#define __UINT32_MAX (4294967295U)
+#define __UINT64_MAX (18446744073709551615ULL)