Corpus for clock_gettime:

Coverage	Program