Symbol: reset_syscall_args