The interpreter's allocation contains program state, result words, then
repeat and wait state. Both native hosts implement this same layout.
Keep this ABI independent of the program/target owners so admission, memory
reservations and machine emitters share one calculation.
13family NativePhysicalMemoryLayout : Type 0
14constructor NativePhysicalMemoryLayoutOf
15field unrestricted nativePhysicalMemoryStateBytes : Nat
16field unrestricted nativePhysicalMemorySlotBytes : Nat
17field unrestricted nativePhysicalMemoryScratchOffset : Nat
18field unrestricted nativePhysicalMemoryAllocationBytes : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.