-// ----------------------------------------------------------------------------
-// $Id$
-// ----------------------------------------------------------------------------
-// Public Domain C Library - http://pdclib.sourceforge.net
-// This code is Public Domain. Use, modify, and redistribute at will.
-// ----------------------------------------------------------------------------
-// Integer types
-// ----------------------------------------------------------------------------
-
-#ifndef __STDINT_H
-#define __STDINT_H __STDINT_H
-
-// ----------------------------------------------------------------------------
-// TYPEDEFS
-
-typedef int8_t; // TODO
-typedef int16_t; // TODO
-typedef int32_t; // TODO
-typedef int64_t; // TODO
-
-typedef uint8_t; // TODO
-typedef uint16_t; // TODO
-typedef uint32_t; // TODO
-typedef uint64_t; // TODO
-
-typedef int_least8_t; // TODO
-typedef int_least16_t; // TODO
-typedef int_least32_t; // TODO
-typedef int_least64_t; // TODO
-
-typedef uint_least8_t; // TODO
-typedef uint_least16_t; // TODO
-typedef uint_least32_t; // TODO
-typedef uint_least64_t; // TODO
-
-typedef int_fast8_t; // TODO
-typedef int_fast16_t; // TODO
-typedef int_fast32_t; // TODO
-typedef int_fast64_t; // TODO
-
-typedef uint_fast8_t; // TODO
-typedef uint_fast16_t; // TODO
-typedef uint_fast32_t; // TODO
-typedef uint_fast64_t; // TODO
-
-typedef intptr_t; // TODO
-typedef uintptr_t; // TODO
-
-typedef intmax_t; // TODO
-typedef uintmax_t; // TODO
-
-// ----------------------------------------------------------------------------
-// MACROS
-
-#define INT8_MIN // TODO
-#define INT16_MIN // TODO
-#define INT32_MIN // TODO
-#define INT64_MIN // TODO
+/* ----------------------------------------------------------------------------
+ * $Id$
+ * ----------------------------------------------------------------------------
+ * Public Domain C Library - http://pdclib.sourceforge.net
+ * This code is Public Domain. Use, modify, and redistribute at will.
+ * ----------------------------------------------------------------------------
+ * Integer types
+ * ----------------------------------------------------------------------------
+ * This header is part of a freestanding implementation
+ * --------------------------------------------------------------------------*/
+
+#ifndef _STDINT_H
+#define _STDINT_H _STDINT_H
+
+/* This file is part of the platform personality (see personality.txt). */
+#ifndef _NULL
+#include "__intern.h"
+#endif
+
+/* TODO: Documentation */
+
+/* ----------------------------------------------------------------------------
+ * TYPEDEFS
+ * --------------------------------------------------------------------------*/
+
+typedef int8_t; /* TODO */
+typedef int16_t; /* TODO */
+typedef int32_t; /* TODO */
+typedef int64_t; /* TODO */
+
+typedef uint8_t; /* TODO */
+typedef uint16_t; /* TODO */
+typedef uint32_t; /* TODO */
+typedef uint64_t; /* TODO */
+
+typedef int_least8_t; /* TODO */
+typedef int_least16_t; /* TODO */
+typedef int_least32_t; /* TODO */
+typedef int_least64_t; /* TODO */
+
+typedef uint_least8_t; /* TODO */
+typedef uint_least16_t; /* TODO */
+typedef uint_least32_t; /* TODO */
+typedef uint_least64_t; /* TODO */
+
+typedef int_fast8_t; /* TODO */
+typedef int_fast16_t; /* TODO */
+typedef int_fast32_t; /* TODO */
+typedef int_fast64_t; /* TODO */
+
+typedef uint_fast8_t; /* TODO */
+typedef uint_fast16_t; /* TODO */
+typedef uint_fast32_t; /* TODO */
+typedef uint_fast64_t; /* TODO */
+
+typedef intptr_t; /* TODO */
+typedef uintptr_t; /* TODO */
+
+typedef intmax_t; /* TODO */
+typedef uintmax_t; /* TODO */
+
+/* ----------------------------------------------------------------------------
+ * MACROS
+ * --------------------------------------------------------------------------*/
+
+#define INT8_MIN /* TODO */
+#define INT16_MIN /* TODO */
+#define INT32_MIN /* TODO */
+#define INT64_MIN /* TODO */