+++ /dev/null
-/* 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 */