Index: libcfa/prelude/extras.c
===================================================================
--- libcfa/prelude/extras.c	(revision 61dbb5458ac593739bb9f193056434237291914a)
+++ libcfa/prelude/extras.c	(revision c1017562b56e4fba1049ff23c54ad7917ce462fd)
@@ -1,3 +1,3 @@
-#include <stddef.h>					// size_t, ptrdiff_t
+#include <stddef.h>					// size_t, ptrdiff_t, intptr_t, uintptr_t
 #include <stdint.h>					// intX_t, uintX_t, where X is 8, 16, 32, 64
 #include <uchar.h>					// char16_t, char32_t
Index: libcfa/prelude/extras.regx
===================================================================
--- libcfa/prelude/extras.regx	(revision 61dbb5458ac593739bb9f193056434237291914a)
+++ libcfa/prelude/extras.regx	(revision c1017562b56e4fba1049ff23c54ad7917ce462fd)
@@ -1,4 +1,6 @@
 typedef.* size_t;
 typedef.* ptrdiff_t;
+typedef.* intptr_t;
+typedef.* uintptr_t;
 typedef.* __int8_t;
 typedef.* __int16_t;