Corpus for restart_syscall:

Coverage	Program
14	restart_syscall