Corpus for openat$sndtimer:

Coverage	Program