Corpus for openat$rtc:

Coverage	Program
704	openat$rtc