Corpus for restart_syscall:

Coverage	Program