Corpus for restart_syscall:

Coverage	Program
15	restart_syscall