1 files changed, 21 insertions, 10 deletions
diff --git a/resources/stubs_includes/common/stddef.h b/resources/stubs_includes/common/stddef.h
index c05f1d44..f6c7207b 100644
--- a/resources/stubs_includes/common/stddef.h
+++ b/resources/stubs_includes/common/stddef.h
@@ -1,13 +1,24 @@
+#ifndef __stddef_h_
+#define __stddef_h_
 
-#if defined(_WIN64)
-    typedef __int64 ptrdiff_t;
-#elif defined(__ia64__) || defined(__x86_64__)
-    typedef long int ptrdiff_t;
-#else
-    typedef int ptrdiff_t;
-#endif
+    /**
+     * Look in the GlueGen.java API documentation for the build-in types (terminal symbols) 
+     * definition.
+     * 
+     * The following types are build-in:
+     *
+     * __int32
+     * int32_t
+     * uint32_t
+     * __int64
+     * int64_t
+     * uint64_t
+     * ptrdiff_t
+     * size_t
+     */
 
-#define NULL ((void *)0)
+    #define NULL ((void *)0)
 
-typedef int wchar_t;
-typedef unsigned long size_t;
-\ No newline at end of file
+    typedef int wchar_t;
+
+#endif /*  __stddef_h_ */