--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ossrv_pub/boost_apis/boost/compatibility/cpp_c_headers/cstddef	Tue Feb 02 02:01:42 2010 +0200
@@ -0,0 +1,15 @@
+// This file is automatically generated. Do not edit.
+// ['../../libs/compatibility/generate_cpp_c_headers.py']
+// Wed Jul 23 12:11:19 2003 ('GMTST', 'GMTST')
+
+#ifndef __CSTDDEF_HEADER
+#define __CSTDDEF_HEADER
+
+#include <stddef.h>
+
+namespace std {
+  using ::ptrdiff_t;
+  using ::size_t;
+}
+
+#endif // CSTDDEF_HEADER