dereference port address in socket_server_open (#2222)

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 758bbc9d8d064fff4f89757072a3c3def2693376..cfacdc357c0041f213877c3539793759a2e954a6 100644 (file)
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -6522,7 +6522,7 @@ impl Machine {
         if had_zero_port {
             self.machine_st.unify_fixnum(
                 Fixnum::build_with(port as i64),
-                self.machine_st.registers[2],
+                self.deref_register(2),
             );
         }