int main(void)
{
/* Uninitialised, but we know px[0] is 0x0. */
long *px = malloc(sizeof(long));
x0 = px[0];
/* SYS_utimensat 110 */
sys_utimensat();
sys_utimensat2();
return 0;
}
int utimensat(int dirfd, const char* path, const struct timespec times[2],
int flags)
{
return sys_utimensat(dirfd, path, times, flags);
}
