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