#ifndef LIBC_STDINT_H_
#define LIBC_STDINT_H_
-typedef char int8_t;
-typedef short int16_t;
-typedef long int32_t;
-
-typedef unsigned char uint8_t;
-typedef unsigned short uint16_t;
-typedef unsigned long uint32_t;
+#include "inttypes.h"
#endif /* LIBC_STDINT_H_ */