Symbol: syscall_set_return_value