1  #include <stdio.h>
       2  #include <unistd.h>
       3  
       4  ssize_t
       5  __wrap_read (int fd, void *buffer, size_t count)
       6  {
       7    puts ("PASS");
       8    return fd + count + sizeof (buffer);
       9  }
      10  
      11  
      12  int
      13  main ()
      14  {
      15    int i = read (1, "abc", 4);
      16    return i == 0;
      17  }