#include <fcntl.h> #include <sys/stat.h> intmain(int argc, char *argv[]){ (void)utimensat; return 0;}
#include <fcntl.h>
#include <sys/stat.h>
int
main(int argc,
char *argv[])
{
(void)utimensat;
return 0;
}