00001 /* Try reading from fd 1 (stdout), 00002 which may just fail or terminate the process with -1 exit 00003 code. */ 00004 00005 #include <stdio.h> 00006 #include <syscall.h> 00007 #include "tests/main.h" 00008 00009 void 00010 test_main (void) 00011 { 00012 char buf; 00013 read (STDOUT_FILENO, &buf, 1); 00014 }