Corpus for timer_gettime:

Coverage	Program
1564	timer_create-prctl$PR_SET_SECCOMP-timer_gettime
1053	perf_event_open-perf_event_open-timer_create-timer_gettime
713	timer_create-clock_gettime-timer_settime-timer_gettime
634	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-timer_gettime
594	timer_create-timer_gettime
574	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-timer_create-timer_gettime
365	perf_event_open-timer_create-clock_gettime-timer_settime-timer_gettime
104	sched_setaffinity-timer_create-perf_event_open-timer_gettime
85	timer_create-perf_event_open-timer_gettime
67	timer_create-timer_settime-timer_gettime
43	prctl$PR_SET_SYSCALL_USER_DISPATCH_ON-timer_create-timer_gettime
19	getpid-timer_create-timer_create-timer_gettime-sendmsg$SEG6_CMD_SET_TUNSRC-getpgrp-socket$inet6_udp-kcmp$KCMP_EPOLL_TFD