Index: libcfa/prelude/extras.c
===================================================================
--- libcfa/prelude/extras.c	(revision 17a1b2182301e39b5769acd3251de92e8c34df40)
+++ libcfa/prelude/extras.c	(revision 34737de740e2e26a5572e02ff18b44f650d8cae8)
@@ -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 17a1b2182301e39b5769acd3251de92e8c34df40)
+++ libcfa/prelude/extras.regx	(revision 34737de740e2e26a5572e02ff18b44f650d8cae8)
@@ -1,4 +1,6 @@
 typedef.* size_t;
 typedef.* ptrdiff_t;
+typedef.* intptr_t;
+typedef.* uintptr_t;
 typedef.* __int8_t;
 typedef.* __int16_t;