242 int _write(int file, char *ptr, int len);
243 int _write(int file, char *ptr, int len){  in _write()  argument
248   if (file == STDOUT_FILENO || file == STDERR_FILENO) {  in _write()
263 int _read(int file, char * ptr, int len){  in _read()  argument
264   (void)file;  in _read()
270 int _close(int file){  in _close()  argument
271   (void)file;  in _close()
275 int _isatty(int file){  in _isatty()  argument
276   (void)file;  in _isatty()
280 int _lseek(int file){  in _lseek()  argument
281   (void)file;  in _lseek()
285 int _fstat(int file){  in _fstat()  argument
286   (void)file;  in _fstat()