Corpus for timer_settime:

Coverage	Program