merge sources into single tree

89 files changed, 540 insertions, 0 deletions

diff --git a/src/stdint/INT16_C.c b/src/stdint/INT16_C.c
new file mode 100644
index 00000000..59f6e911
--- /dev/null
+++ b/src/stdint/INT16_C.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT16_C(value)                                    ((int_least16_t)value)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT16_MAX.c b/src/stdint/INT16_MAX.c
new file mode 100644
index 00000000..16136be3
--- /dev/null
+++ b/src/stdint/INT16_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT16_MAX                                                        (32767)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT16_MIN.c b/src/stdint/INT16_MIN.c
new file mode 100644
index 00000000..35349b4d
--- /dev/null
+++ b/src/stdint/INT16_MIN.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT16_MIN                                                       (-32768)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT32_C.c b/src/stdint/INT32_C.c
new file mode 100644
index 00000000..fca867f9
--- /dev/null
+++ b/src/stdint/INT32_C.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT32_C(value)                                 ((int_least32_t)value##L)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT32_MAX.c b/src/stdint/INT32_MAX.c
new file mode 100644
index 00000000..dd935ae3
--- /dev/null
+++ b/src/stdint/INT32_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT32_MAX                                                   (2147483647)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT32_MIN.c b/src/stdint/INT32_MIN.c
new file mode 100644
index 00000000..4349cf37
--- /dev/null
+++ b/src/stdint/INT32_MIN.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT32_MIN                                                  (-2147483648)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT64_C.c b/src/stdint/INT64_C.c
new file mode 100644
index 00000000..ee8fdafa
--- /dev/null
+++ b/src/stdint/INT64_C.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT64_C(value)                                ((int_least64_t)value##LL)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT64_MAX.c b/src/stdint/INT64_MAX.c
new file mode 100644
index 00000000..e50109c2
--- /dev/null
+++ b/src/stdint/INT64_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT64_MAX                                        (9223372036854775807LL)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT64_MIN.c b/src/stdint/INT64_MIN.c
new file mode 100644
index 00000000..55d0f702
--- /dev/null
+++ b/src/stdint/INT64_MIN.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT64_MIN                                       (-9223372036854775808LL)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT8_C.c b/src/stdint/INT8_C.c
new file mode 100644
index 00000000..58135cb6
--- /dev/null
+++ b/src/stdint/INT8_C.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT8_C(value)                                      ((int_least8_t)value)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT8_MAX.c b/src/stdint/INT8_MAX.c
new file mode 100644
index 00000000..73da5dbc
--- /dev/null
+++ b/src/stdint/INT8_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT8_MAX                                                           (127)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT8_MIN.c b/src/stdint/INT8_MIN.c
new file mode 100644
index 00000000..c08b71ef
--- /dev/null
+++ b/src/stdint/INT8_MIN.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT8_MIN                                                          (-128)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INTMAX_C.c b/src/stdint/INTMAX_C.c
new file mode 100644
index 00000000..c051c9ae
--- /dev/null
+++ b/src/stdint/INTMAX_C.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INTMAX_C(value)                                    ((intmax_t)value##LL)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INTMAX_MAX.c b/src/stdint/INTMAX_MAX.c
new file mode 100644
index 00000000..07d54edc
--- /dev/null
+++ b/src/stdint/INTMAX_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INTMAX_MAX                                       (9223372036854775807LL)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INTMAX_MIN.c b/src/stdint/INTMAX_MIN.c
new file mode 100644
index 00000000..240d40b6
--- /dev/null
+++ b/src/stdint/INTMAX_MIN.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INTMAX_MIN                                      (-9223372036854775808LL)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INTPTR_MAX.c b/src/stdint/INTPTR_MAX.c
new file mode 100644
index 00000000..f4b97702
--- /dev/null
+++ b/src/stdint/INTPTR_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INTPTR_MAX                                       /* FIXME */     (32767)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INTPTR_MIN.c b/src/stdint/INTPTR_MIN.c
new file mode 100644
index 00000000..57a7f882
--- /dev/null
+++ b/src/stdint/INTPTR_MIN.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INTPTR_MIN                                    /* FIXME */       (-32767)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT_FAST16_MAX.c b/src/stdint/INT_FAST16_MAX.c
new file mode 100644
index 00000000..4705b9c8
--- /dev/null
+++ b/src/stdint/INT_FAST16_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT_FAST16_MAX                                                   (32767)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT_FAST16_MIN.c b/src/stdint/INT_FAST16_MIN.c
new file mode 100644
index 00000000..c78c28eb
--- /dev/null
+++ b/src/stdint/INT_FAST16_MIN.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT_FAST16_MIN                                                  (-32768)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT_FAST32_MAX.c b/src/stdint/INT_FAST32_MAX.c
new file mode 100644
index 00000000..ea01e62d
--- /dev/null
+++ b/src/stdint/INT_FAST32_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT_FAST32_MAX                                              (2147483647)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT_FAST32_MIN.c b/src/stdint/INT_FAST32_MIN.c
new file mode 100644
index 00000000..2fc24e5d
--- /dev/null
+++ b/src/stdint/INT_FAST32_MIN.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT_FAST32_MIN                                             (-2147483648)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT_FAST64_MAX.c b/src/stdint/INT_FAST64_MAX.c
new file mode 100644
index 00000000..ffd7bb78
--- /dev/null
+++ b/src/stdint/INT_FAST64_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT_FAST64_MAX                                   (9223372036854775807LL)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT_FAST64_MIN.c b/src/stdint/INT_FAST64_MIN.c
new file mode 100644
index 00000000..07f4a44c
--- /dev/null
+++ b/src/stdint/INT_FAST64_MIN.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT_FAST64_MIN                                  (-9223372036854775808LL)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT_FAST8_MAX.c b/src/stdint/INT_FAST8_MAX.c
new file mode 100644
index 00000000..58639691
--- /dev/null
+++ b/src/stdint/INT_FAST8_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT_FAST8_MAX                                                      (127)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT_FAST8_MIN.c b/src/stdint/INT_FAST8_MIN.c
new file mode 100644
index 00000000..86ee6ec9
--- /dev/null
+++ b/src/stdint/INT_FAST8_MIN.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT_FAST8_MIN                                                     (-128)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT_LEAST16_MAX.c b/src/stdint/INT_LEAST16_MAX.c
new file mode 100644
index 00000000..9a625094
--- /dev/null
+++ b/src/stdint/INT_LEAST16_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT_LEAST16_MAX                                                  (32767)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT_LEAST16_MIN.c b/src/stdint/INT_LEAST16_MIN.c
new file mode 100644
index 00000000..3cd0fec6
--- /dev/null
+++ b/src/stdint/INT_LEAST16_MIN.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT_LEAST16_MIN                                                 (-32768)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT_LEAST32_MAX.c b/src/stdint/INT_LEAST32_MAX.c
new file mode 100644
index 00000000..6d4d6ff0
--- /dev/null
+++ b/src/stdint/INT_LEAST32_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT_LEAST32_MAX                                             (2147483647)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT_LEAST32_MIN.c b/src/stdint/INT_LEAST32_MIN.c
new file mode 100644
index 00000000..9c714f2c
--- /dev/null
+++ b/src/stdint/INT_LEAST32_MIN.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT_LEAST32_MIN                                            (-2147483648)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT_LEAST64_MAX.c b/src/stdint/INT_LEAST64_MAX.c
new file mode 100644
index 00000000..a7ff5e2e
--- /dev/null
+++ b/src/stdint/INT_LEAST64_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT_LEAST64_MAX                                  (9223372036854775807LL)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT_LEAST64_MIN.c b/src/stdint/INT_LEAST64_MIN.c
new file mode 100644
index 00000000..d4dfb201
--- /dev/null
+++ b/src/stdint/INT_LEAST64_MIN.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT_LEAST64_MIN                                 (-9223372036854775808LL)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT_LEAST8_MAX.c b/src/stdint/INT_LEAST8_MAX.c
new file mode 100644
index 00000000..5df7f755
--- /dev/null
+++ b/src/stdint/INT_LEAST8_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT_LEAST8_MAX                                                     (127)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/INT_LEAST8_MIN.c b/src/stdint/INT_LEAST8_MIN.c
new file mode 100644
index 00000000..2b8c6617
--- /dev/null
+++ b/src/stdint/INT_LEAST8_MIN.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define INT_LEAST8_MIN                                                    (-128)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/PTRDIFF_MAX.c b/src/stdint/PTRDIFF_MAX.c
new file mode 100644
index 00000000..ae518616
--- /dev/null
+++ b/src/stdint/PTRDIFF_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define PTRDIFF_MAX                                   /* FIXME */        (65535)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/PTRDIFF_MIN.c b/src/stdint/PTRDIFF_MIN.c
new file mode 100644
index 00000000..44292a10
--- /dev/null
+++ b/src/stdint/PTRDIFF_MIN.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define PTRDIFF_MIN                                   /* FIXME */       (-65535)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/SIG_ATOMIC_MAX.c b/src/stdint/SIG_ATOMIC_MAX.c
new file mode 100644
index 00000000..da8db676
--- /dev/null
+++ b/src/stdint/SIG_ATOMIC_MAX.c
@@ -0,0 +1,9 @@
+#include <stdint.h>
+#define SIG_ATOMIC_MAX                                                     (127)
+
+/*If sig_atomic_t (see 7.14) is defined as a signed integer type, the value of SIG_ATOMIC_MIN shall be no greater than −127 and the value of SIG_ATOMIC_MAX shall be no less than 127; otherwise, sig_atomic_t is defined as an unsigned integer type, and the value of SIG_ATOMIC_MIN shall be 0 and the value of SIG_ATOMIC_MAX shall be no less than 255.*/
+
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/SIG_ATOMIC_MIN.c b/src/stdint/SIG_ATOMIC_MIN.c
new file mode 100644
index 00000000..f4d27e62
--- /dev/null
+++ b/src/stdint/SIG_ATOMIC_MIN.c
@@ -0,0 +1,9 @@
+#include <stdint.h>
+#define SIG_ATOMIC_MIN                                                    (-127)
+
+/*If sig_atomic_t (see 7.14) is defined as a signed integer type, the value of SIG_ATOMIC_MIN shall be no greater than −127 and the value of SIG_ATOMIC_MAX shall be no less than 127; otherwise, sig_atomic_t is defined as an unsigned integer type, and the value of SIG_ATOMIC_MIN shall be 0 and the value of SIG_ATOMIC_MAX shall be no less than 255.*/
+
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/SIZE_MAX.c b/src/stdint/SIZE_MAX.c
new file mode 100644
index 00000000..22770096
--- /dev/null
+++ b/src/stdint/SIZE_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define SIZE_MAX                              /* FIXME */                (65535)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINT16_C.c b/src/stdint/UINT16_C.c
new file mode 100644
index 00000000..dbb276a6
--- /dev/null
+++ b/src/stdint/UINT16_C.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINT16_C(value)                                  ((uint_least16_t)value)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINT16_MAX.c b/src/stdint/UINT16_MAX.c
new file mode 100644
index 00000000..f8a8f586
--- /dev/null
+++ b/src/stdint/UINT16_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINT16_MAX                                                       (65535)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINT32_C.c b/src/stdint/UINT32_C.c
new file mode 100644
index 00000000..05583780
--- /dev/null
+++ b/src/stdint/UINT32_C.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINT32_C(value)                               ((uint_least32_t)value##U)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINT32_MAX.c b/src/stdint/UINT32_MAX.c
new file mode 100644
index 00000000..dd257db3
--- /dev/null
+++ b/src/stdint/UINT32_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINT32_MAX                                                 (4294967295U)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINT64_C.c b/src/stdint/UINT64_C.c
new file mode 100644
index 00000000..ce05a6bc
--- /dev/null
+++ b/src/stdint/UINT64_C.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINT64_C(value)                             ((uint_least32_t)value##ULL)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINT64_MAX.c b/src/stdint/UINT64_MAX.c
new file mode 100644
index 00000000..c92f3d43
--- /dev/null
+++ b/src/stdint/UINT64_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINT64_MAX                                     (18446744073709551616ULL)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINT8_C.c b/src/stdint/UINT8_C.c
new file mode 100644
index 00000000..93e7ccc5
--- /dev/null
+++ b/src/stdint/UINT8_C.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINT8_C(value)                                    ((uint_least8_t)value)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINT8_MAX.c b/src/stdint/UINT8_MAX.c
new file mode 100644
index 00000000..4ed3d37f
--- /dev/null
+++ b/src/stdint/UINT8_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINT8_MAX                                                          (255)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINTMAX_C.c b/src/stdint/UINTMAX_C.c
new file mode 100644
index 00000000..d505d108
--- /dev/null
+++ b/src/stdint/UINTMAX_C.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINTMAX_C(value)                                 ((uintmax_t)value##ULL)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINTMAX_MAX.c b/src/stdint/UINTMAX_MAX.c
new file mode 100644
index 00000000..3dcc34a2
--- /dev/null
+++ b/src/stdint/UINTMAX_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINTMAX_MAX                                    (18446744073709551616ULL)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINTPTR_MAX.c b/src/stdint/UINTPTR_MAX.c
new file mode 100644
index 00000000..05d149c1
--- /dev/null
+++ b/src/stdint/UINTPTR_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINTPTR_MAX                                 /* FIXME */          (65535)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINT_FAST16_MAX.c b/src/stdint/UINT_FAST16_MAX.c
new file mode 100644
index 00000000..b1c0274c
--- /dev/null
+++ b/src/stdint/UINT_FAST16_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINT_FAST16_MAX                                                  (65535)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINT_FAST32_MAX.c b/src/stdint/UINT_FAST32_MAX.c
new file mode 100644
index 00000000..9431d807
--- /dev/null
+++ b/src/stdint/UINT_FAST32_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINT_FAST32_MAX                                            (4294967295U)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINT_FAST64_MAX.c b/src/stdint/UINT_FAST64_MAX.c
new file mode 100644
index 00000000..f06a53a0
--- /dev/null
+++ b/src/stdint/UINT_FAST64_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINT_FAST64_MAX                                (18446744073709551616ULL)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINT_FAST8_MAX.c b/src/stdint/UINT_FAST8_MAX.c
new file mode 100644
index 00000000..5395c697
--- /dev/null
+++ b/src/stdint/UINT_FAST8_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINT_FAST8_MAX                                                     (255)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINT_LEAST16_MAX.c b/src/stdint/UINT_LEAST16_MAX.c
new file mode 100644
index 00000000..f629b638
--- /dev/null
+++ b/src/stdint/UINT_LEAST16_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINT_LEAST16_MAX                                                 (65535)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINT_LEAST32_MAX.c b/src/stdint/UINT_LEAST32_MAX.c
new file mode 100644
index 00000000..fdf97254
--- /dev/null
+++ b/src/stdint/UINT_LEAST32_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINT_LEAST32_MAX                                           (4294967295U)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINT_LEAST64_MAX.c b/src/stdint/UINT_LEAST64_MAX.c
new file mode 100644
index 00000000..637e6fb0
--- /dev/null
+++ b/src/stdint/UINT_LEAST64_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINT_LEAST64_MAX                               (18446744073709551616ULL)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/UINT_LEAST8_MAX.c b/src/stdint/UINT_LEAST8_MAX.c
new file mode 100644
index 00000000..29f3c09a
--- /dev/null
+++ b/src/stdint/UINT_LEAST8_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define UINT_LEAST8_MAX                                                    (255)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/WCHAR_MAX.c b/src/stdint/WCHAR_MAX.c
new file mode 100644
index 00000000..502b1735
--- /dev/null
+++ b/src/stdint/WCHAR_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define WCHAR_MAX                                                     (0x10FFFF)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/WCHAR_MIN.c b/src/stdint/WCHAR_MIN.c
new file mode 100644
index 00000000..00123ddf
--- /dev/null
+++ b/src/stdint/WCHAR_MIN.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define WCHAR_MIN                                                            (0)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/WINT_MAX.c b/src/stdint/WINT_MAX.c
new file mode 100644
index 00000000..f7303ea1
--- /dev/null
+++ b/src/stdint/WINT_MAX.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define WINT_MAX                                                    (2147483647)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/WINT_MIN.c b/src/stdint/WINT_MIN.c
new file mode 100644
index 00000000..2b3005bf
--- /dev/null
+++ b/src/stdint/WINT_MIN.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#define WINT_MIN                                                   (-2147483648)
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/int16_t.c b/src/stdint/int16_t.c
new file mode 100644
index 00000000..30861f20
--- /dev/null
+++ b/src/stdint/int16_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef short int                                                       int16_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/int32_t.c b/src/stdint/int32_t.c
new file mode 100644
index 00000000..24059172
--- /dev/null
+++ b/src/stdint/int32_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef int                                                             int32_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/int64_t.c b/src/stdint/int64_t.c
new file mode 100644
index 00000000..cc9419cc
--- /dev/null
+++ b/src/stdint/int64_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef long long int                                                   int64_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/int8_t.c b/src/stdint/int8_t.c
new file mode 100644
index 00000000..11533725
--- /dev/null
+++ b/src/stdint/int8_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef signed char                                                      int8_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/int_fast16_t.c b/src/stdint/int_fast16_t.c
new file mode 100644
index 00000000..4dcf9838
--- /dev/null
+++ b/src/stdint/int_fast16_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef short int                                                  int_fast16_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/int_fast32_t.c b/src/stdint/int_fast32_t.c
new file mode 100644
index 00000000..65460677
--- /dev/null
+++ b/src/stdint/int_fast32_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef long int                                                   int_fast32_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/int_fast64_t.c b/src/stdint/int_fast64_t.c
new file mode 100644
index 00000000..173e0fe2
--- /dev/null
+++ b/src/stdint/int_fast64_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef long long int                                              int_fast64_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/int_fast8_t.c b/src/stdint/int_fast8_t.c
new file mode 100644
index 00000000..1bd43b74
--- /dev/null
+++ b/src/stdint/int_fast8_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef signed char                                                 int_fast8_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/int_least16_t.c b/src/stdint/int_least16_t.c
new file mode 100644
index 00000000..3aaeacff
--- /dev/null
+++ b/src/stdint/int_least16_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef short int                                                 int_least16_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/int_least32_t.c b/src/stdint/int_least32_t.c
new file mode 100644
index 00000000..2290dab6
--- /dev/null
+++ b/src/stdint/int_least32_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef long int                                                  int_least32_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/int_least64_t.c b/src/stdint/int_least64_t.c
new file mode 100644
index 00000000..02a29079
--- /dev/null
+++ b/src/stdint/int_least64_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef long long int                                             int_least64_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/int_least8_t.c b/src/stdint/int_least8_t.c
new file mode 100644
index 00000000..2142c96e
--- /dev/null
+++ b/src/stdint/int_least8_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef signed char                                                int_least8_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/intmax_t.c b/src/stdint/intmax_t.c
new file mode 100644
index 00000000..3c5532c5
--- /dev/null
+++ b/src/stdint/intmax_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef long long int                                                  intmax_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/intptr_t.c b/src/stdint/intptr_t.c
new file mode 100644
index 00000000..f72a6eb8
--- /dev/null
+++ b/src/stdint/intptr_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef unsigned long int                                              intptr_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/uint16_t.c b/src/stdint/uint16_t.c
new file mode 100644
index 00000000..b8d579a5
--- /dev/null
+++ b/src/stdint/uint16_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef unsigned short int                                             uint16_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/uint32_t.c b/src/stdint/uint32_t.c
new file mode 100644
index 00000000..01a11eae
--- /dev/null
+++ b/src/stdint/uint32_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef unsigned int                                                   uint32_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/uint64_t.c b/src/stdint/uint64_t.c
new file mode 100644
index 00000000..d4af00d7
--- /dev/null
+++ b/src/stdint/uint64_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef unsigned long long int                                         uint64_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/uint8_t.c b/src/stdint/uint8_t.c
new file mode 100644
index 00000000..136c50be
--- /dev/null
+++ b/src/stdint/uint8_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef unsigned char                                                   uint8_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/uint_fast16_t.c b/src/stdint/uint_fast16_t.c
new file mode 100644
index 00000000..0e89feca
--- /dev/null
+++ b/src/stdint/uint_fast16_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef unsigned short int                                        uint_fast16_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/uint_fast32_t.c b/src/stdint/uint_fast32_t.c
new file mode 100644
index 00000000..3fc55b4e
--- /dev/null
+++ b/src/stdint/uint_fast32_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef unsigned int                                              uint_fast32_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/uint_fast64_t.c b/src/stdint/uint_fast64_t.c
new file mode 100644
index 00000000..d2ce6fee
--- /dev/null
+++ b/src/stdint/uint_fast64_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef unsigned long long int                                    uint_fast64_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/uint_fast8_t.c b/src/stdint/uint_fast8_t.c
new file mode 100644
index 00000000..263bdd7a
--- /dev/null
+++ b/src/stdint/uint_fast8_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef unsigned char                                              uint_fast8_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/uint_least16_t.c b/src/stdint/uint_least16_t.c
new file mode 100644
index 00000000..d4216fb1
--- /dev/null
+++ b/src/stdint/uint_least16_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef unsigned short int                                       uint_least16_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/uint_least32_t.c b/src/stdint/uint_least32_t.c
new file mode 100644
index 00000000..7a1b6432
--- /dev/null
+++ b/src/stdint/uint_least32_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef unsigned long int                                        uint_least32_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/uint_least64_t.c b/src/stdint/uint_least64_t.c
new file mode 100644
index 00000000..4c3cd753
--- /dev/null
+++ b/src/stdint/uint_least64_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef unsigned long long int                                   uint_least64_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/uint_least8_t.c b/src/stdint/uint_least8_t.c
new file mode 100644
index 00000000..012c9cf8
--- /dev/null
+++ b/src/stdint/uint_least8_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef unsigned char                                             uint_least8_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/uintmax_t.c b/src/stdint/uintmax_t.c
new file mode 100644
index 00000000..95ed2d9a
--- /dev/null
+++ b/src/stdint/uintmax_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef unsigned long long int                                        uintmax_t;
+
+/*
+STDC(199901)
+*/
diff --git a/src/stdint/uintptr_t.c b/src/stdint/uintptr_t.c
new file mode 100644
index 00000000..cb204c66
--- /dev/null
+++ b/src/stdint/uintptr_t.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+typedef unsigned long long int                                        uintptr_t;
+
+/*
+STDC(199901)
+*/