Symbol: print_syscall_ret