Corpus for timerfd_gettime:

Coverage	Program