// 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

