prog: syscall-restart2