1  #include <stdio.h>
       2  #include <unistd.h>
       3  #include <stdlib.h>
       4  
       5  static int
       6  do_test (void)
       7  {
       8    printf( "main\n" );
       9    exit(EXIT_SUCCESS);
      10  }
      11  
      12  #include <support/test-driver.c>