Symbol: run_syscall