Corpus for timerfd_settime:

Coverage	Program