From 216c251c48820befe04a7fdad956ba3da07d41d0 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 12 Aug 2025 22:23:52 -0700
Subject: [PATCH] deref terms in read_from_term (#2668)

---
 src/machine/loader.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/machine/loader.rs b/src/machine/loader.rs
index 08282f68..2b49b50c 100644
--- a/src/machine/loader.rs
+++ b/src/machine/loader.rs
@@ -1384,7 +1384,10 @@ impl MachineState {
             stackful_post_order_iter::<NonListElider>(&mut self.heap, &mut self.stack, 0);
 
         while let Some(addr) = iter.next() {
-            let addr = unmark_cell_bits!(addr);
+            let addr = unmark_cell_bits!(heap_bound_store(
+                iter.base_iter.heap,
+                heap_bound_deref(iter.base_iter.heap, addr),
+            ));
 
             read_heap_cell!(addr,
                 (HeapCellValueTag::Lis) => {
-- 
2.54.0