diff --git a/mlibc/include/alloca.h b/mlibc/include/alloca.h
new file mode 100644
index 00000000..a3883b8c
--- /dev/null
+++ b/mlibc/include/alloca.h
@@ -0,0 +1,33 @@
+/* -*-comment-start: "//";comment-end:""-*-
+ * Mes --- Maxwell Equations of Software
+ * Copyright © 2017 Jan Nieuwenhuizen <janneke@gnu.org>
+ *
+ * This file is part of Mes.
+ *
+ * Mes is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or (at
+ * your option) any later version.
+ *
+ * Mes is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with Mes.  If not, see <http://www.gnu.org/licenses/>.
+ */
+#ifndef __MES_ALLOCA_H
+#define __MES_ALLOCA_H 1
+
+#if __GNUC__ && POSIX
+#ifndef _GNU_SOURCE
+#define _GNU_SOURCE
+#endif
+#include_next <alloca.h>
+
+#else // ! (__GNUC__ && POSIX)
+void* alloca (size_t);
+#endif // ! (__GNUC__ && POSIX)
+
+#endif // __MES_ALLOCA_H
diff --git a/mlibc/include/inttypes.h b/mlibc/include/inttypes.h
index 39127beb..b3aa6107 100644
--- a/mlibc/include/inttypes.h
+++ b/mlibc/include/inttypes.h
@@ -27,15 +27,7 @@
 #include_next <inttypes.h>
 #else // ! (__GNUC__ && POSIX)
 
-typedef unsigned char uint8_t;
-typedef char int8_t;
-typedef unsigned short uint16_t;
-typedef unsigned uint32_t;
-typedef int int32_t;
-
-typedef unsigned long long uint64_t;
-typedef long long int64_t;
-
+#include <stdint.h>
 #endif // ! (__GNUC__ && POSIX)
 
 #endif // __MES_INTTYPES_H
diff --git a/mlibc/include/stdint.h b/mlibc/include/stdint.h
new file mode 100644
index 00000000..e7f13fd0
--- /dev/null
+++ b/mlibc/include/stdint.h
@@ -0,0 +1,50 @@
+/* -*-comment-start: "//";comment-end:""-*-
+ * Mes --- Maxwell Equations of Software
+ * Copyright © 2017 Jan Nieuwenhuizen <janneke@gnu.org>
+ *
+ * This file is part of Mes.
+ *
+ * Mes is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or (at
+ * your option) any later version.
+ *
+ * Mes is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with Mes.  If not, see <http://www.gnu.org/licenses/>.
+ */
+#ifndef __MES_STDINT_H
+#define __MES_STDINT_H 1
+
+#if __GNUC__ && POSIX
+#ifndef _GNU_SOURCE
+#define _GNU_SOURCE
+#endif
+#include_next <stdint.h>
+
+#else // ! (__GNUC__ && POSIX)
+
+typedef unsigned char uint8_t;
+typedef char int8_t;
+typedef unsigned short uint16_t;
+typedef short int16_t;
+typedef unsigned uint32_t;
+typedef int int32_t;
+typedef unsigned long long uint64_t;
+typedef long long int64_t;
+
+// FIXME
+typedef int intmax_t;
+typedef unsigned uintmax_t;
+typedef int* intptr_t;
+typedef unsigned* uintptr_t;
+
+typedef unsigned ptrdiff_t;
+
+#endif // ! (__GNUC__ && POSIX)
+
+#endif // __MES_STDINT_H
diff --git a/mlibc/include/sys/wait.h b/mlibc/include/sys/wait.h
new file mode 100644
index 00000000..7e28e89f
--- /dev/null
+++ b/mlibc/include/sys/wait.h
@@ -0,0 +1,28 @@
+/* -*-comment-start: "//";comment-end:""-*-
+ * Mes --- Maxwell Equations of Software
+ * Copyright © 2017 Jan Nieuwenhuizen <janneke@gnu.org>
+ *
+ * This file is part of Mes.
+ *
+ * Mes is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or (at
+ * your option) any later version.
+ *
+ * Mes is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with Mes.  If not, see <http://www.gnu.org/licenses/>.
+ */
+#ifndef __MES_SYS_WAIT_H
+#define __MES_SYS_WAIT_H 1
+
+#if __GNUC__ && POSIX
+#include_next <sys/wait.h>
+#endif // (__GNUC__ && POSIX)
+
+#endif // __MES_SYS_WAIT_H
+