1  #include <stdio.h>
       2  
       3  extern int cook(void);
       4  
       5  int __wrap_cook(void)
       6  {
       7    puts ("PASS");
       8    return 0;
       9  }
      10  
      11  int main()
      12  {
      13    if (cook () == -1)
      14      __builtin_abort ();
      15  
      16    return 0;
      17  }