/*  This header file is machine generated. 
Modify EiC/config/genstdio.c, or the target independent source 
files it reads, in order to modify this file.  Any 
direct modifications to this file will be lost. 
*/

#ifndef EiC_types_H
#define EiC_types_H

#pragma push_safeptr

#define _need_size_t
#include <sys/stdtypes.h>
#undef _need_size_t
typedef int  pid_t;
typedef int  ssize_t;
typedef int  off_t;
typedef unsigned int  ino_t;
typedef unsigned int  uid_t;
typedef unsigned int  gid_t;
typedef unsigned int  mode_t;
typedef unsigned int  nlink_t;
typedef unsigned long long  dev_t;

#pragma pop_ptr

#endif    /* end EiC_types_H */
