Symbol: run_syscall_twice