Corpus for rt_sigtimedwait:

Coverage	Program
181	rt_sigtimedwait
126	rt_sigtimedwait
53	rt_sigtimedwait