-#ifndef LIB_STDINT_H
-#define LIB_STDINT_H
+#ifndef __LIB_STDINT_H
+#define __LIB_STDINT_H
typedef signed char int8_t;
#define INT8_MAX 127
#define UINT16_MAX 65535
typedef unsigned int uint32_t;
-#define UINT32_MAX 4294967295
+#define UINT32_MAX 4294967295U
typedef unsigned long long int uint64_t;
#define UINT64_MAX 18446744073709551615ULL
typedef uint64_t uintmax_t;
#define UINTMAX_MAX UINT64_MAX
-#define PTRDIFF_MIN INT32_MIN
-#define PTRDIFF_MAX INT32_MAX
+#define PTRDIFF_MIN ((__PTRDIFF_TYPE__) INT32_MIN)
+#define PTRDIFF_MAX ((__PTRDIFF_TYPE__) INT32_MAX)
-#define SIZE_MAX UINT32_MAX
+#define SIZE_MAX ((__SIZE_TYPE__) UINT32_MAX)
#endif /* lib/stdint.h */