1// This file is automatically generated. Do not edit.
2// ['../../libs/compatibility/generate_cpp_c_headers.py']
3// Wed Jul 23 12:11:19 2003 ('GMTST', 'GMTST')
4
5#ifndef __CSTDDEF_HEADER
6#define __CSTDDEF_HEADER
7
8#include <stddef.h>
9
10namespace std {
11  using ::ptrdiff_t;
12  using ::size_t;
13}
14
15#endif // CSTDDEF_HEADER
16