1  #include <stdio.h>
       2  
       3  int
       4  foo (void)
       5  {
       6    return 21;
       7  }
       8  
       9  static int
      10  do_test (void)
      11  {
      12    int val = foo ();
      13    if (val != 34)
      14      {
      15        printf ("foo () returned %d\n", val);
      16        return 1;
      17      }
      18  
      19    return 0;
      20  }
      21  
      22  #include <support/test-driver.c>