Code Editor : sysc_restart_syscall.stp