#define _GNU_SOURCE #include <fcntl.h> intmain(int argc, char *argv[]){ (void)splice; return 0;}
#define _GNU_SOURCE
#include <fcntl.h>
int
main(int argc,
char *argv[])
{
(void)splice;
return 0;
}