Solid Z-machine interpreter that can show disassembly?

Dannii · February 25, 2026, 7:12am

It works, but Bocfel says the dynamic memory is too small. I guess your compiler is shrinking the unused globals?

terps/bocfel/zterp.cpp

d9d6243a5


      
          // There must be at least enough room in dynamic memory for the header
          // (64 bytes), the global variables table (480 bytes), and the
          // property defaults table (62 or 126 bytes).
          if (header.static_start < 64UL + 480UL + propsize) {
              die("corrupted story: dynamic memory too small (%d bytes)", static_cast<int>(header.static_start));
          }

Previous discussion about that: Squashed globals in Z-code

Though from that discussion the consensus was that it’s okay for the globals to overlap other things. It should really be testing that the end of the globals and the end of the prop table are in dynamic memory, not that dynamic memory is longer than both added together.