#define _GNU_SOURCE
#include <fcntl.h>

int
main(int   argc,
     char *argv[])
{
  (void)splice;

  return 0;
}