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