Corpus for openat$sndtimer:

Coverage	Program
881	openat$sndtimer-move_pages
742	openat$sndtimer