diff --git a/codegen/masm/src/artifact.rs b/codegen/masm/src/artifact.rs
index 0d97ce40d..38a2d3741 100644
--- a/codegen/masm/src/artifact.rs
+++ b/codegen/masm/src/artifact.rs
@@ -14,7 +14,7 @@ use midenc_session::{
     Session,
 };
 
-use crate::{lower::NativePtr, masm};
+use crate::{lower::NativePtr, masm, TraceEvent};
 
 pub struct MasmComponent {
     pub id: builtin::ComponentId,
@@ -339,7 +339,13 @@ impl MasmComponent {
             }
 
             // Invoke the program entrypoint
+            block.push(Op::Inst(Span::new(
+                span,
+                Inst::Trace(TraceEvent::FrameStart.as_u32().into()),
+            )));
             block.push(Op::Inst(Span::new(span, Inst::Exec(entrypoint.clone()))));
+            block
+                .push(Op::Inst(Span::new(span, Inst::Trace(TraceEvent::FrameEnd.as_u32().into()))));
 
             // Truncate the stack to 16 elements on exit
             let truncate_stack = InvocationTarget::AbsoluteProcedurePath {
@@ -376,6 +382,7 @@ impl MasmComponent {
         // => [num_words, dest_ptr] on operand stack
         block.push(Op::Inst(Span::new(span, Inst::AdvPush(2.into()))));
         // => [C, B, A, dest_ptr] on operand stack
+        block.push(Op::Inst(Span::new(span, Inst::Trace(TraceEvent::FrameStart.as_u32().into()))));
         block.push(Op::Inst(Span::new(
             span,
             Inst::Exec(InvocationTarget::AbsoluteProcedurePath {
@@ -383,6 +390,7 @@ impl MasmComponent {
                 path: std_mem,
             }),
         )));
+        block.push(Op::Inst(Span::new(span, Inst::Trace(TraceEvent::FrameEnd.as_u32().into()))));
         // Drop C, B, A
         block.push(Op::Inst(Span::new(span, Inst::DropW)));
         block.push(Op::Inst(Span::new(span, Inst::DropW)));
diff --git a/codegen/masm/src/emit/mod.rs b/codegen/masm/src/emit/mod.rs
index 1f0b3f59a..5b5638bb1 100644
--- a/codegen/masm/src/emit/mod.rs
+++ b/codegen/masm/src/emit/mod.rs
@@ -94,7 +94,10 @@ use miden_assembly::ast::InvokeKind;
 use midenc_hir::{Immediate, Operation, SourceSpan, Type, ValueRef};
 
 use super::{Operand, OperandStack};
-use crate::masm::{self as masm, Op};
+use crate::{
+    masm::{self as masm, Op},
+    TraceEvent,
+};
 
 /// This structure is used to emit the Miden Assembly ops corresponding to an IR instruction.
 ///
@@ -202,8 +205,11 @@ impl<'a> OpEmitter<'a> {
         )));
         let path = masm::LibraryPath::new(callee.module.as_str()).unwrap();
         let target = masm::InvocationTarget::AbsoluteProcedurePath { name, path };
-        let inst = masm::Instruction::Exec(target);
-        self.emit(inst, span);
+        self.emit(masm::Instruction::Trace(TraceEvent::FrameStart.as_u32().into()), span);
+        self.emit(masm::Instruction::Nop, span);
+        self.emit(masm::Instruction::Exec(target), span);
+        self.emit(masm::Instruction::Trace(TraceEvent::FrameEnd.as_u32().into()), span);
+        self.emit(masm::Instruction::Nop, span);
     }
 
     /// Emit `op` to the current block
diff --git a/codegen/masm/src/emit/primop.rs b/codegen/masm/src/emit/primop.rs
index 13beefe27..eca153302 100644
--- a/codegen/masm/src/emit/primop.rs
+++ b/codegen/masm/src/emit/primop.rs
@@ -4,6 +4,7 @@ use midenc_hir::{
 };
 
 use super::{int64, masm, OpEmitter};
+use crate::TraceEvent;
 
 impl OpEmitter<'_> {
     /// Assert that an integer value on the stack has the value 1
@@ -254,7 +255,11 @@ impl OpEmitter<'_> {
     ) {
         self.process_call_signature(&callee, signature, span);
 
+        self.emit(masm::Instruction::Trace(TraceEvent::FrameStart.as_u32().into()), span);
+        self.emit(masm::Instruction::Nop, span);
         self.emit(masm::Instruction::Exec(callee), span);
+        self.emit(masm::Instruction::Trace(TraceEvent::FrameEnd.as_u32().into()), span);
+        self.emit(masm::Instruction::Nop, span);
     }
 
     /// Execute the given procedure in a new context.
@@ -268,7 +273,11 @@ impl OpEmitter<'_> {
     ) {
         self.process_call_signature(&callee, signature, span);
 
+        self.emit(masm::Instruction::Trace(TraceEvent::FrameStart.as_u32().into()), span);
+        self.emit(masm::Instruction::Nop, span);
         self.emit(masm::Instruction::Call(callee), span);
+        self.emit(masm::Instruction::Trace(TraceEvent::FrameEnd.as_u32().into()), span);
+        self.emit(masm::Instruction::Nop, span);
     }
 
     fn process_call_signature(
diff --git a/codegen/masm/src/events.rs b/codegen/masm/src/events.rs
index d9538ce0d..74cb59763 100644
--- a/codegen/masm/src/events.rs
+++ b/codegen/masm/src/events.rs
@@ -30,6 +30,16 @@ impl TraceEvent {
     pub fn is_frame_end(&self) -> bool {
         matches!(self, Self::FrameEnd)
     }
+
+    pub fn as_u32(self) -> u32 {
+        match self {
+            Self::FrameStart => TRACE_FRAME_START,
+            Self::FrameEnd => TRACE_FRAME_END,
+            Self::AssertionFailed(None) => 0,
+            Self::AssertionFailed(Some(code)) => code.get(),
+            Self::Unknown(event) => event,
+        }
+    }
 }
 impl From<u32> for TraceEvent {
     fn from(raw: u32) -> Self {
diff --git a/codegen/masm/src/lib.rs b/codegen/masm/src/lib.rs
index 2fdaa4e4d..d15414fbd 100644
--- a/codegen/masm/src/lib.rs
+++ b/codegen/masm/src/lib.rs
@@ -130,5 +130,6 @@ pub fn register_dialect_hooks(context: &midenc_hir::Context) {
         info.register_operation_trait::<hir::MemSize, dyn HirLowering>();
         info.register_operation_trait::<hir::MemSet, dyn HirLowering>();
         info.register_operation_trait::<hir::MemCpy, dyn HirLowering>();
+        info.register_operation_trait::<hir::Breakpoint, dyn HirLowering>();
     });
 }
diff --git a/codegen/masm/src/lower/component.rs b/codegen/masm/src/lower/component.rs
index 6f52d7d13..ae3a8985a 100644
--- a/codegen/masm/src/lower/component.rs
+++ b/codegen/masm/src/lower/component.rs
@@ -12,7 +12,7 @@ use crate::{
     artifact::MasmComponent,
     emitter::BlockEmitter,
     linker::{LinkInfo, Linker},
-    masm,
+    masm, TraceEvent,
 };
 
 /// This trait represents a conversion pass from some HIR entity to a Miden Assembly component.
@@ -161,6 +161,10 @@ impl MasmComponentBuilder<'_> {
             self.init_body.push(masm::Op::Inst(Span::new(span, Inst::PushU32(heap_base))));
             let heap_init = masm::ProcedureName::new("heap_init").unwrap();
             let memory_intrinsics = masm::LibraryPath::new("intrinsics::mem").unwrap();
+            self.init_body.push(Op::Inst(Span::new(
+                span,
+                Inst::Trace(TraceEvent::FrameStart.as_u32().into()),
+            )));
             self.init_body.push(Op::Inst(Span::new(
                 span,
                 Inst::Exec(InvocationTarget::AbsoluteProcedurePath {
@@ -168,6 +172,8 @@ impl MasmComponentBuilder<'_> {
                     path: memory_intrinsics,
                 }),
             )));
+            self.init_body
+                .push(Op::Inst(Span::new(span, Inst::Trace(TraceEvent::FrameEnd.as_u32().into()))));
 
             // Data segment initialization
             self.emit_data_segment_initialization();
@@ -307,6 +313,10 @@ impl MasmComponentBuilder<'_> {
             self.init_body
                 .push(Op::Inst(Span::new(span, Inst::PushU32(rodata.size_in_words() as u32))));
             // [num_words, write_ptr, COM, ..] -> [write_ptr']
+            self.init_body.push(Op::Inst(Span::new(
+                span,
+                Inst::Trace(TraceEvent::FrameStart.as_u32().into()),
+            )));
             self.init_body.push(Op::Inst(Span::new(
                 span,
                 Inst::Exec(InvocationTarget::AbsoluteProcedurePath {
@@ -314,6 +324,8 @@ impl MasmComponentBuilder<'_> {
                     path: std_mem.clone(),
                 }),
             )));
+            self.init_body
+                .push(Op::Inst(Span::new(span, Inst::Trace(TraceEvent::FrameEnd.as_u32().into()))));
             // drop write_ptr'
             self.init_body.push(Op::Inst(Span::new(span, Inst::Drop)));
         }
diff --git a/codegen/masm/src/lower/lowering.rs b/codegen/masm/src/lower/lowering.rs
index ae78a834c..ef4cd0fb0 100644
--- a/codegen/masm/src/lower/lowering.rs
+++ b/codegen/masm/src/lower/lowering.rs
@@ -647,6 +647,14 @@ impl HirLowering for hir::AssertEq {
     }
 }
 
+impl HirLowering for hir::Breakpoint {
+    fn emit(&self, emitter: &mut BlockEmitter<'_>) -> Result<(), Report> {
+        emitter.emit_op(masm::Op::Inst(Span::new(self.span(), masm::Instruction::Breakpoint)));
+
+        Ok(())
+    }
+}
+
 impl HirLowering for ub::Unreachable {
     fn emit(&self, emitter: &mut BlockEmitter<'_>) -> Result<(), Report> {
         // This instruction, if reached, must cause the VM to trap, so we emit an assertion that
diff --git a/dialects/hir/src/builders.rs b/dialects/hir/src/builders.rs
index 7000545b8..26c106907 100644
--- a/dialects/hir/src/builders.rs
+++ b/dialects/hir/src/builders.rs
@@ -65,6 +65,14 @@ pub trait HirOpBuilder<'f, B: ?Sized + Builder> {
         self.assert_eq(lhs, rhs, span)
     }
 
+    fn breakpoint(
+        &mut self,
+        span: SourceSpan,
+    ) -> Result<UnsafeIntrusiveEntityRef<crate::ops::Breakpoint>, Report> {
+        let op_builder = self.builder_mut().create::<crate::ops::Breakpoint, _>(span);
+        op_builder()
+    }
+
     /// Grow the global heap by `num_pages` pages, in 64kb units.
     ///
     /// Returns the previous size (in pages) of the heap, or -1 if the heap could not be grown.
diff --git a/dialects/hir/src/lib.rs b/dialects/hir/src/lib.rs
index b2e5a0f3b..7cb92023f 100644
--- a/dialects/hir/src/lib.rs
+++ b/dialects/hir/src/lib.rs
@@ -127,5 +127,6 @@ impl DialectRegistration for HirDialect {
         info.register_operation::<ops::MemCpy>();
         info.register_operation::<ops::Spill>();
         info.register_operation::<ops::Reload>();
+        info.register_operation::<ops::Breakpoint>();
     }
 }
diff --git a/dialects/hir/src/ops/primop.rs b/dialects/hir/src/ops/primop.rs
index ad89c4108..44a578e01 100644
--- a/dialects/hir/src/ops/primop.rs
+++ b/dialects/hir/src/ops/primop.rs
@@ -95,3 +95,18 @@ impl EffectOpInterface<MemoryEffect> for MemCpy {
         ])
     }
 }
+
+#[operation(
+    dialect = HirDialect,
+    implements(MemoryEffectOpInterface)
+)]
+pub struct Breakpoint {}
+
+impl EffectOpInterface<MemoryEffect> for Breakpoint {
+    fn effects(&self) -> EffectIterator<MemoryEffect> {
+        EffectIterator::from_smallvec(smallvec![
+            EffectInstance::new(MemoryEffect::Read),
+            EffectInstance::new(MemoryEffect::Write),
+        ])
+    }
+}
diff --git a/frontend/wasm/src/intrinsics/debug.rs b/frontend/wasm/src/intrinsics/debug.rs
new file mode 100644
index 000000000..e49e7220b
--- /dev/null
+++ b/frontend/wasm/src/intrinsics/debug.rs
@@ -0,0 +1,33 @@
+use midenc_dialect_hir::HirOpBuilder;
+use midenc_hir::{
+    dialects::builtin::FunctionRef,
+    interner::{symbols, Symbol},
+    smallvec, Builder, SmallVec, SourceSpan, SymbolNameComponent, ValueRef,
+};
+
+use crate::{error::WasmResult, module::function_builder_ext::FunctionBuilderExt};
+
+pub(crate) const MODULE_ID: &str = "intrinsics::debug";
+pub(crate) const MODULE_PREFIX: &[SymbolNameComponent] = &[
+    SymbolNameComponent::Root,
+    SymbolNameComponent::Component(symbols::Intrinsics),
+    SymbolNameComponent::Component(symbols::Debug),
+];
+
+/// Convert a call to a debugging intrinsic function into instruction(s)
+pub(crate) fn convert_debug_intrinsics<B: ?Sized + Builder>(
+    function: Symbol,
+    _function_ref: Option<FunctionRef>,
+    args: &[ValueRef],
+    builder: &mut FunctionBuilderExt<'_, B>,
+    span: SourceSpan,
+) -> WasmResult<SmallVec<[ValueRef; 1]>> {
+    match function.as_str() {
+        "break" => {
+            assert_eq!(args.len(), 0, "{function} takes exactly one argument");
+            builder.breakpoint(span)?;
+            Ok(smallvec![])
+        }
+        _ => panic!("no debug intrinsics found named '{function}'"),
+    }
+}
diff --git a/frontend/wasm/src/intrinsics/intrinsic.rs b/frontend/wasm/src/intrinsics/intrinsic.rs
index 00ce96566..2835e00bf 100644
--- a/frontend/wasm/src/intrinsics/intrinsic.rs
+++ b/frontend/wasm/src/intrinsics/intrinsic.rs
@@ -4,7 +4,7 @@ use midenc_hir::{
     FunctionType, SymbolNameComponent, SymbolPath,
 };
 
-use super::{felt, mem};
+use super::{debug, felt, mem};
 
 /// Error raised when an attempt is made to use or load an unrecognized intrinsic
 #[derive(Debug, thiserror::Error, Diagnostic)]
@@ -18,6 +18,8 @@ pub struct UnknownIntrinsicError(SymbolPath);
 /// intrinsic up to the point it was encoded in this type.
 #[derive(Debug, Copy, Clone, PartialEq, Eq)]
 pub enum Intrinsic {
+    /// A debugging intrinsic
+    Debug(Symbol),
     /// A memory intrinsic
     Mem(Symbol),
     /// A field element intrinsic
@@ -56,6 +58,7 @@ impl TryFrom<&SymbolPath> for Intrinsic {
             .ok_or_else(|| UnknownIntrinsicError(path.clone()))?;
 
         match kind {
+            symbols::Debug => Ok(Self::Debug(function)),
             symbols::Mem => Ok(Self::Mem(function)),
             symbols::Felt => Ok(Self::Felt(function)),
             _ => Err(UnknownIntrinsicError(path.clone())),
@@ -75,6 +78,7 @@ impl Intrinsic {
     /// intrinsic is defined.
     pub fn module_name(&self) -> Symbol {
         match self {
+            Self::Debug(_) => symbols::Debug,
             Self::Mem(_) => symbols::Mem,
             Self::Felt(_) => symbols::Felt,
         }
@@ -83,6 +87,7 @@ impl Intrinsic {
     /// Get a [SymbolPath] corresponding to the module containing this intrinsic
     pub fn module_path(&self) -> SymbolPath {
         match self {
+            Self::Debug(_) => SymbolPath::from_iter(debug::MODULE_PREFIX.iter().copied()),
             Self::Mem(_) => SymbolPath::from_iter(mem::MODULE_PREFIX.iter().copied()),
             Self::Felt(_) => SymbolPath::from_iter(felt::MODULE_PREFIX.iter().copied()),
         }
@@ -91,7 +96,7 @@ impl Intrinsic {
     /// Get the name of the intrinsic function as a [Symbol]
     pub fn function_name(&self) -> Symbol {
         match self {
-            Self::Mem(function) | Self::Felt(function) => *function,
+            Self::Debug(function) | Self::Mem(function) | Self::Felt(function) => *function,
         }
     }
 
@@ -101,6 +106,8 @@ impl Intrinsic {
     pub fn function_type(&self) -> Option<FunctionType> {
         match self {
             Self::Mem(function) => mem::function_type(*function),
+            // All debugging intrinsics are currently implemented as native instructions
+            Self::Debug(_) => None,
             // All field element intrinsics are currently implemented as native instructions
             Self::Felt(_) => None,
         }
@@ -114,7 +121,7 @@ impl Intrinsic {
             Self::Mem(function) => {
                 mem::function_type(*function).map(IntrinsicsConversionResult::FunctionType)
             }
-            Self::Felt(_) => Some(IntrinsicsConversionResult::MidenVmOp),
+            Self::Debug(_) | Self::Felt(_) => Some(IntrinsicsConversionResult::MidenVmOp),
         }
     }
 }
diff --git a/frontend/wasm/src/intrinsics/mod.rs b/frontend/wasm/src/intrinsics/mod.rs
index c04e36c87..b1e41c432 100644
--- a/frontend/wasm/src/intrinsics/mod.rs
+++ b/frontend/wasm/src/intrinsics/mod.rs
@@ -2,6 +2,7 @@ mod intrinsic;
 
 pub use self::intrinsic::*;
 
+pub mod debug;
 pub mod felt;
 pub mod mem;
 
@@ -21,6 +22,7 @@ fn modules() -> &'static FxHashSet<SymbolPath> {
         let mut s = FxHashSet::default();
         s.insert(SymbolPath::from_iter(mem::MODULE_PREFIX.iter().copied()));
         s.insert(SymbolPath::from_iter(felt::MODULE_PREFIX.iter().copied()));
+        s.insert(SymbolPath::from_iter(debug::MODULE_PREFIX.iter().copied()));
         s
     });
     &MODULES
@@ -35,6 +37,9 @@ pub fn convert_intrinsics_call<B: ?Sized + Builder>(
     span: SourceSpan,
 ) -> WasmResult<SmallVec<[ValueRef; 1]>> {
     match intrinsic {
+        Intrinsic::Debug(function) => {
+            debug::convert_debug_intrinsics(function, function_ref, args, builder, span)
+        }
         Intrinsic::Mem(function) => {
             mem::convert_mem_intrinsics(function, function_ref, args, builder, span)
         }
diff --git a/frontend/wasm/src/miden_abi/mod.rs b/frontend/wasm/src/miden_abi/mod.rs
index 500d21a72..f06c62359 100644
--- a/frontend/wasm/src/miden_abi/mod.rs
+++ b/frontend/wasm/src/miden_abi/mod.rs
@@ -114,6 +114,8 @@ pub fn recover_imported_masm_module(wasm_module_id: &str) -> Result<SymbolPath,
         Ok(SymbolPath::from_masm_module_id(intrinsics::mem::MODULE_ID))
     } else if wasm_module_id.starts_with("miden:core-import/intrinsics-felt") {
         Ok(SymbolPath::from_masm_module_id(intrinsics::felt::MODULE_ID))
+    } else if wasm_module_id.starts_with("miden:core-import/intrinsics-debug") {
+        Ok(SymbolPath::from_masm_module_id(intrinsics::debug::MODULE_ID))
     } else if wasm_module_id.starts_with("miden:core-import/account") {
         Ok(SymbolPath::from_masm_module_id(tx_kernel::account::MODULE_ID))
     } else if wasm_module_id.starts_with("miden:core-import/note") {
diff --git a/hir-symbol/src/symbols.toml b/hir-symbol/src/symbols.toml
index 0b1eda8e7..4960d7a44 100644
--- a/hir-symbol/src/symbols.toml
+++ b/hir-symbol/src/symbols.toml
@@ -104,6 +104,7 @@ ub = {}
 account = {}
 blake3 = {}
 crypto = {}
+debug = {}
 dsa = {}
 hashes = {}
 intrinsics = {}
diff --git a/sdk/stdlib-sys/src/intrinsics/debug.rs b/sdk/stdlib-sys/src/intrinsics/debug.rs
new file mode 100644
index 000000000..d27a4356c
--- /dev/null
+++ b/sdk/stdlib-sys/src/intrinsics/debug.rs
@@ -0,0 +1,14 @@
+#[link(wasm_import_module = "miden:core-import/intrinsics-debug@1.0.0")]
+extern "C" {
+    #[link_name = "break"]
+    fn extern_break();
+}
+
+/// Sets a breakpoint in the emitted Miden Assembly at the point this function is called.
+#[inline(always)]
+#[track_caller]
+pub fn breakpoint() {
+    unsafe {
+        extern_break();
+    }
+}
diff --git a/sdk/stdlib-sys/src/intrinsics/mod.rs b/sdk/stdlib-sys/src/intrinsics/mod.rs
index d0bb0af3b..f8084729f 100644
--- a/sdk/stdlib-sys/src/intrinsics/mod.rs
+++ b/sdk/stdlib-sys/src/intrinsics/mod.rs
@@ -1,5 +1,6 @@
 use core::ops::{Deref, DerefMut};
 
+pub mod debug;
 mod felt;
 mod word;
 
diff --git a/tests/integration/expected/abi_transform_stdlib_blake3_hash.masm b/tests/integration/expected/abi_transform_stdlib_blake3_hash.masm
index e79ca556b..611f6c343 100644
--- a/tests/integration/expected/abi_transform_stdlib_blake3_hash.masm
+++ b/tests/integration/expected/abi_transform_stdlib_blake3_hash.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -11,14 +13,22 @@ end
 # mod root_ns:root@1.0.0::abi_transform_stdlib_blake3_hash
 
 proc.miden_stdlib_sys::stdlib::crypto::hashes::extern_blake3_hash_1to1
+    trace.240
+    nop
     exec.::std::crypto::hashes::blake3::hash_1to1
+    trace.252
+    nop
     movup.8
     dup.0
     movup.2
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
     push.4
     dup.1
     swap.1
@@ -28,7 +38,11 @@ proc.miden_stdlib_sys::stdlib::crypto::hashes::extern_blake3_hash_1to1
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
     push.8
     dup.1
     swap.1
@@ -38,7 +52,11 @@ proc.miden_stdlib_sys::stdlib::crypto::hashes::extern_blake3_hash_1to1
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
     push.12
     dup.1
     swap.1
@@ -48,7 +66,11 @@ proc.miden_stdlib_sys::stdlib::crypto::hashes::extern_blake3_hash_1to1
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
     push.16
     dup.1
     swap.1
@@ -58,7 +80,11 @@ proc.miden_stdlib_sys::stdlib::crypto::hashes::extern_blake3_hash_1to1
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
     push.20
     dup.1
     swap.1
@@ -68,7 +94,11 @@ proc.miden_stdlib_sys::stdlib::crypto::hashes::extern_blake3_hash_1to1
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
     push.24
     dup.1
     swap.1
@@ -78,20 +108,32 @@ proc.miden_stdlib_sys::stdlib::crypto::hashes::extern_blake3_hash_1to1
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
     push.28
     add
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
 end
 
 export.entrypoint
     push.1048576
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.4294967264
     push.32
     dup.2
@@ -103,60 +145,96 @@ export.entrypoint
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
     dup.3
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.4
     dup.5
     add
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.8
     dup.6
     add
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.12
     dup.7
     add
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.16
     dup.8
     add
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.20
     dup.9
     add
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.24
     dup.10
     add
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.28
     movup.11
     add
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     dup.8
     movup.3
     swap.5
@@ -168,7 +246,11 @@ export.entrypoint
     swap.7
     swap.1
     swap.8
+    trace.240
+    nop
     exec.::root_ns:root@1.0.0::abi_transform_stdlib_blake3_hash::miden_stdlib_sys::stdlib::crypto::hashes::extern_blake3_hash_1to1
+    trace.252
+    nop
     push.24
     dup.1
     add
@@ -181,14 +263,22 @@ export.entrypoint
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_dw
+    trace.252
+    nop
     push.24
     dup.5
     swap.1
     u32wrapping_add
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_dw
+    trace.252
+    nop
     push.16
     dup.1
     add
@@ -201,14 +291,22 @@ export.entrypoint
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_dw
+    trace.252
+    nop
     push.16
     dup.5
     swap.1
     u32wrapping_add
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_dw
+    trace.252
+    nop
     push.8
     dup.1
     add
@@ -221,14 +319,22 @@ export.entrypoint
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_dw
+    trace.252
+    nop
     push.8
     dup.5
     swap.1
     u32wrapping_add
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_dw
+    trace.252
+    nop
     push.8
     dup.1
     swap.1
@@ -237,14 +343,26 @@ export.entrypoint
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_dw
+    trace.252
+    nop
     movup.3
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_dw
+    trace.252
+    nop
     push.1048576
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/add_felt.masm b/tests/integration/expected/add_felt.masm
index aed9690dc..a86912898 100644
--- a/tests/integration/expected/add_felt.masm
+++ b/tests/integration/expected/add_felt.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/add_i16.masm b/tests/integration/expected/add_i16.masm
index 883bc6fcf..bfad6bb2d 100644
--- a/tests/integration/expected/add_i16.masm
+++ b/tests/integration/expected/add_i16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/add_i32.masm b/tests/integration/expected/add_i32.masm
index a0052ab6c..680c71616 100644
--- a/tests/integration/expected/add_i32.masm
+++ b/tests/integration/expected/add_i32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/add_i64.masm b/tests/integration/expected/add_i64.masm
index 77ff6cbb8..2c6dff14e 100644
--- a/tests/integration/expected/add_i64.masm
+++ b/tests/integration/expected/add_i64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -17,6 +19,10 @@ end
 # mod root_ns:root@1.0.0::test_rust_cc1ebe8ed410a033febcc7c6a7e1b2473b2337e0dff32b08d3c91be5bbc2cc0a
 
 export.entrypoint
+    trace.240
+    nop
     exec.::std::math::u64::wrapping_add
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/add_i8.masm b/tests/integration/expected/add_i8.masm
index 8eaed4cdd..63ae47619 100644
--- a/tests/integration/expected/add_i8.masm
+++ b/tests/integration/expected/add_i8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/add_u16.masm b/tests/integration/expected/add_u16.masm
index ccded92e7..76dc9a113 100644
--- a/tests/integration/expected/add_u16.masm
+++ b/tests/integration/expected/add_u16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/add_u32.masm b/tests/integration/expected/add_u32.masm
index 0da551ee8..039163ea3 100644
--- a/tests/integration/expected/add_u32.masm
+++ b/tests/integration/expected/add_u32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/add_u64.masm b/tests/integration/expected/add_u64.masm
index 087b90e4f..c17117b9a 100644
--- a/tests/integration/expected/add_u64.masm
+++ b/tests/integration/expected/add_u64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -17,6 +19,10 @@ end
 # mod root_ns:root@1.0.0::test_rust_2c24c814fbf0c5ee22a60f52279e8f7639d56708da347e071f1130dc19dc9c07
 
 export.entrypoint
+    trace.240
+    nop
     exec.::std::math::u64::wrapping_add
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/add_u8.masm b/tests/integration/expected/add_u8.masm
index abf788941..5c29333e0 100644
--- a/tests/integration/expected/add_u8.masm
+++ b/tests/integration/expected/add_u8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/and_bool.masm b/tests/integration/expected/and_bool.masm
index 420077b98..7ea039e6b 100644
--- a/tests/integration/expected/and_bool.masm
+++ b/tests/integration/expected/and_bool.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/band_i16.masm b/tests/integration/expected/band_i16.masm
index 354b786e0..9898e2449 100644
--- a/tests/integration/expected/band_i16.masm
+++ b/tests/integration/expected/band_i16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/band_i32.masm b/tests/integration/expected/band_i32.masm
index 49f98de3f..3b36ca14f 100644
--- a/tests/integration/expected/band_i32.masm
+++ b/tests/integration/expected/band_i32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/band_i64.masm b/tests/integration/expected/band_i64.masm
index bf4950a95..e73b22a57 100644
--- a/tests/integration/expected/band_i64.masm
+++ b/tests/integration/expected/band_i64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -17,6 +19,10 @@ end
 # mod root_ns:root@1.0.0::test_rust_fdee33d480318f3f6165aabcaf90e290011f2d459d009ce9a6ea019e73b0e6b4
 
 export.entrypoint
+    trace.240
+    nop
     exec.::std::math::u64::and
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/band_i8.masm b/tests/integration/expected/band_i8.masm
index a452b08a2..3a918204f 100644
--- a/tests/integration/expected/band_i8.masm
+++ b/tests/integration/expected/band_i8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/band_u16.masm b/tests/integration/expected/band_u16.masm
index 38e4cf683..8c175c6f6 100644
--- a/tests/integration/expected/band_u16.masm
+++ b/tests/integration/expected/band_u16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/band_u32.masm b/tests/integration/expected/band_u32.masm
index f7d51556c..0a11f9a78 100644
--- a/tests/integration/expected/band_u32.masm
+++ b/tests/integration/expected/band_u32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/band_u64.masm b/tests/integration/expected/band_u64.masm
index b8d36b5cf..c3b97c8fb 100644
--- a/tests/integration/expected/band_u64.masm
+++ b/tests/integration/expected/band_u64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -17,6 +19,10 @@ end
 # mod root_ns:root@1.0.0::test_rust_8509e2e84a91835b60f651a4adb33e43024ab7f31520e5ee5b5a97f181859a40
 
 export.entrypoint
+    trace.240
+    nop
     exec.::std::math::u64::and
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/band_u8.masm b/tests/integration/expected/band_u8.masm
index c129fbb2d..765a1f8f4 100644
--- a/tests/integration/expected/band_u8.masm
+++ b/tests/integration/expected/band_u8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bnot_bool.masm b/tests/integration/expected/bnot_bool.masm
index 0d93094a6..aab364a6f 100644
--- a/tests/integration/expected/bnot_bool.masm
+++ b/tests/integration/expected/bnot_bool.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bnot_i16.masm b/tests/integration/expected/bnot_i16.masm
index 56e6b8a56..6147e9ff2 100644
--- a/tests/integration/expected/bnot_i16.masm
+++ b/tests/integration/expected/bnot_i16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bnot_i32.masm b/tests/integration/expected/bnot_i32.masm
index d9179011e..e266c5200 100644
--- a/tests/integration/expected/bnot_i32.masm
+++ b/tests/integration/expected/bnot_i32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bnot_i64.masm b/tests/integration/expected/bnot_i64.masm
index 4daed7ce7..cb35a8bd3 100644
--- a/tests/integration/expected/bnot_i64.masm
+++ b/tests/integration/expected/bnot_i64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -19,6 +21,10 @@ end
 export.entrypoint
     push.4294967295
     push.4294967295
+    trace.240
+    nop
     exec.::std::math::u64::xor
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/bnot_i8.masm b/tests/integration/expected/bnot_i8.masm
index 2a395a23e..3cc973cc0 100644
--- a/tests/integration/expected/bnot_i8.masm
+++ b/tests/integration/expected/bnot_i8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bnot_u16.masm b/tests/integration/expected/bnot_u16.masm
index 7eebd550d..1373212b7 100644
--- a/tests/integration/expected/bnot_u16.masm
+++ b/tests/integration/expected/bnot_u16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bnot_u32.masm b/tests/integration/expected/bnot_u32.masm
index 406893772..7a9714f12 100644
--- a/tests/integration/expected/bnot_u32.masm
+++ b/tests/integration/expected/bnot_u32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bnot_u64.masm b/tests/integration/expected/bnot_u64.masm
index c4dcd5034..851621204 100644
--- a/tests/integration/expected/bnot_u64.masm
+++ b/tests/integration/expected/bnot_u64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -19,6 +21,10 @@ end
 export.entrypoint
     push.4294967295
     push.4294967295
+    trace.240
+    nop
     exec.::std::math::u64::xor
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/bnot_u8.masm b/tests/integration/expected/bnot_u8.masm
index 2a628ed2a..83db49b7f 100644
--- a/tests/integration/expected/bnot_u8.masm
+++ b/tests/integration/expected/bnot_u8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bor_i16.masm b/tests/integration/expected/bor_i16.masm
index 1c3cf4250..8b544aed3 100644
--- a/tests/integration/expected/bor_i16.masm
+++ b/tests/integration/expected/bor_i16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bor_i32.masm b/tests/integration/expected/bor_i32.masm
index 72349a69e..109922820 100644
--- a/tests/integration/expected/bor_i32.masm
+++ b/tests/integration/expected/bor_i32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bor_i64.masm b/tests/integration/expected/bor_i64.masm
index e4669475c..ec2b6173e 100644
--- a/tests/integration/expected/bor_i64.masm
+++ b/tests/integration/expected/bor_i64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -17,6 +19,10 @@ end
 # mod root_ns:root@1.0.0::test_rust_19d92981d2d7f148eaa97011bd0bd979fbc793cadadb334c67791824f38e7bf8
 
 export.entrypoint
+    trace.240
+    nop
     exec.::std::math::u64::or
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/bor_i8.masm b/tests/integration/expected/bor_i8.masm
index 42c9597a0..465781195 100644
--- a/tests/integration/expected/bor_i8.masm
+++ b/tests/integration/expected/bor_i8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bor_u16.masm b/tests/integration/expected/bor_u16.masm
index 83f5e6f6f..f985188ca 100644
--- a/tests/integration/expected/bor_u16.masm
+++ b/tests/integration/expected/bor_u16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bor_u32.masm b/tests/integration/expected/bor_u32.masm
index fdb200a09..68596dcfe 100644
--- a/tests/integration/expected/bor_u32.masm
+++ b/tests/integration/expected/bor_u32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bor_u64.masm b/tests/integration/expected/bor_u64.masm
index 9c3e31898..8fba0bc25 100644
--- a/tests/integration/expected/bor_u64.masm
+++ b/tests/integration/expected/bor_u64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -17,6 +19,10 @@ end
 # mod root_ns:root@1.0.0::test_rust_e8616ef7e15d87b491a1dbcccfe42b1dcb7a90b965c27549b2b5d9604d28acee
 
 export.entrypoint
+    trace.240
+    nop
     exec.::std::math::u64::or
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/bor_u8.masm b/tests/integration/expected/bor_u8.masm
index 60a880092..c2c30ea96 100644
--- a/tests/integration/expected/bor_u8.masm
+++ b/tests/integration/expected/bor_u8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bxor_i16.masm b/tests/integration/expected/bxor_i16.masm
index 1e9267e54..0de5a81aa 100644
--- a/tests/integration/expected/bxor_i16.masm
+++ b/tests/integration/expected/bxor_i16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bxor_i32.masm b/tests/integration/expected/bxor_i32.masm
index c870218e3..66604dca8 100644
--- a/tests/integration/expected/bxor_i32.masm
+++ b/tests/integration/expected/bxor_i32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bxor_i64.masm b/tests/integration/expected/bxor_i64.masm
index ad20c9996..0e5dbc271 100644
--- a/tests/integration/expected/bxor_i64.masm
+++ b/tests/integration/expected/bxor_i64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -17,6 +19,10 @@ end
 # mod root_ns:root@1.0.0::test_rust_bbe2169ccd3bb4080a705f38ed5ef633d3af9e172e8f9b41ae4ee10f8059e176
 
 export.entrypoint
+    trace.240
+    nop
     exec.::std::math::u64::xor
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/bxor_i8.masm b/tests/integration/expected/bxor_i8.masm
index 1799f6b7a..308220421 100644
--- a/tests/integration/expected/bxor_i8.masm
+++ b/tests/integration/expected/bxor_i8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bxor_u16.masm b/tests/integration/expected/bxor_u16.masm
index ed2f2851b..33310ea68 100644
--- a/tests/integration/expected/bxor_u16.masm
+++ b/tests/integration/expected/bxor_u16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bxor_u32.masm b/tests/integration/expected/bxor_u32.masm
index 0cfa612be..fedf8a75e 100644
--- a/tests/integration/expected/bxor_u32.masm
+++ b/tests/integration/expected/bxor_u32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/bxor_u64.masm b/tests/integration/expected/bxor_u64.masm
index b4112dc43..1b8a46490 100644
--- a/tests/integration/expected/bxor_u64.masm
+++ b/tests/integration/expected/bxor_u64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -17,6 +19,10 @@ end
 # mod root_ns:root@1.0.0::test_rust_ab1d59bc3952451e2ac6a22333bf5458760622594546976d2d1488d607497ae7
 
 export.entrypoint
+    trace.240
+    nop
     exec.::std::math::u64::xor
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/bxor_u8.masm b/tests/integration/expected/bxor_u8.masm
index 0e6796f0f..a23d1970e 100644
--- a/tests/integration/expected/bxor_u8.masm
+++ b/tests/integration/expected/bxor_u8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/collatz.masm b/tests/integration/expected/collatz.masm
index 9ede3cbb0..f776d0bdd 100644
--- a/tests/integration/expected/collatz.masm
+++ b/tests/integration/expected/collatz.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -39,7 +41,11 @@ export.entrypoint
             push.3
             dup.6
             swap.1
+            trace.240
+            nop
             exec.::intrinsics::i32::wrapping_mul
+            trace.252
+            nop
             u32wrapping_add
             push.0
             push.1
diff --git a/tests/integration/expected/core::cmp::max_u8_u8.masm b/tests/integration/expected/core::cmp::max_u8_u8.masm
index 84206d03f..874ca971a 100644
--- a/tests/integration/expected/core::cmp::max_u8_u8.masm
+++ b/tests/integration/expected/core::cmp::max_u8_u8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/core::cmp::min_i32_i32.masm b/tests/integration/expected/core::cmp::min_i32_i32.masm
index 8e814c422..6bc1ec627 100644
--- a/tests/integration/expected/core::cmp::min_i32_i32.masm
+++ b/tests/integration/expected/core::cmp::min_i32_i32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -20,7 +22,11 @@ export.entrypoint
     push.0
     dup.2
     dup.2
+    trace.240
+    nop
     exec.::intrinsics::i32::is_lt
+    trace.252
+    nop
     neq
     movup.2
     swap.1
diff --git a/tests/integration/expected/core::cmp::min_u32_u32.masm b/tests/integration/expected/core::cmp::min_u32_u32.masm
index ffb251030..e4ee89a11 100644
--- a/tests/integration/expected/core::cmp::min_u32_u32.masm
+++ b/tests/integration/expected/core::cmp::min_u32_u32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/core::cmp::min_u8_u8.masm b/tests/integration/expected/core::cmp::min_u8_u8.masm
index 13b791173..6da5af9c3 100644
--- a/tests/integration/expected/core::cmp::min_u8_u8.masm
+++ b/tests/integration/expected/core::cmp::min_u8_u8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/div_felt.masm b/tests/integration/expected/div_felt.masm
index 76cce9fe9..f6c3dd935 100644
--- a/tests/integration/expected/div_felt.masm
+++ b/tests/integration/expected/div_felt.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/eq_felt.masm b/tests/integration/expected/eq_felt.masm
index 0d0b306d3..968104f26 100644
--- a/tests/integration/expected/eq_felt.masm
+++ b/tests/integration/expected/eq_felt.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/eq_i16.masm b/tests/integration/expected/eq_i16.masm
index abd348302..a65281f3f 100644
--- a/tests/integration/expected/eq_i16.masm
+++ b/tests/integration/expected/eq_i16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/eq_i32.masm b/tests/integration/expected/eq_i32.masm
index dc010478b..a4efa55aa 100644
--- a/tests/integration/expected/eq_i32.masm
+++ b/tests/integration/expected/eq_i32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/eq_i64.masm b/tests/integration/expected/eq_i64.masm
index 5ea5aa3a1..9aaedfca7 100644
--- a/tests/integration/expected/eq_i64.masm
+++ b/tests/integration/expected/eq_i64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -17,6 +19,10 @@ end
 # mod root_ns:root@1.0.0::test_rust_bcf098a70fb61198130acb429b0b2900b9c9d11c5cab0241410bb862be7ce2a8
 
 export.entrypoint
+    trace.240
+    nop
     exec.::std::math::u64::eq
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/eq_i8.masm b/tests/integration/expected/eq_i8.masm
index 9443ffed6..981121fed 100644
--- a/tests/integration/expected/eq_i8.masm
+++ b/tests/integration/expected/eq_i8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/eq_u16.masm b/tests/integration/expected/eq_u16.masm
index 4e63e083e..a7e405ed6 100644
--- a/tests/integration/expected/eq_u16.masm
+++ b/tests/integration/expected/eq_u16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/eq_u32.masm b/tests/integration/expected/eq_u32.masm
index fa3881ba7..57accd635 100644
--- a/tests/integration/expected/eq_u32.masm
+++ b/tests/integration/expected/eq_u32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/eq_u64.masm b/tests/integration/expected/eq_u64.masm
index 181f67bf5..55502adc7 100644
--- a/tests/integration/expected/eq_u64.masm
+++ b/tests/integration/expected/eq_u64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -17,6 +19,10 @@ end
 # mod root_ns:root@1.0.0::test_rust_90e3e1f038c3b9b7ba2a8c0e9313f59dc3bc3f54fe235a4c5c325df06e46d3b0
 
 export.entrypoint
+    trace.240
+    nop
     exec.::std::math::u64::eq
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/eq_u8.masm b/tests/integration/expected/eq_u8.masm
index 17dab7c1a..22464dd0e 100644
--- a/tests/integration/expected/eq_u8.masm
+++ b/tests/integration/expected/eq_u8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/examples/counter.masm b/tests/integration/expected/examples/counter.masm
index 6e69b5188..4736fa238 100644
--- a/tests/integration/expected/examples/counter.masm
+++ b/tests/integration/expected/examples/counter.masm
@@ -1,16 +1,26 @@
 # mod miden:counter-contract/counter@0.1.0
 
 export.get-count
+    trace.240
+    nop
     exec.::miden:counter-contract/counter@0.1.0::counter_contract::miden:counter-contract/counter@0.1.0#get-count
+    trace.252
+    nop
 end
 
 export.increment-count
+    trace.240
+    nop
     exec.::miden:counter-contract/counter@0.1.0::counter_contract::miden:counter-contract/counter@0.1.0#increment-count
+    trace.252
+    nop
 end
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.5121323707957172480
     push.16385291266171272914
     push.3612753469884014922
@@ -18,7 +28,9 @@ export.init
     adv.push_mapval
     push.262144
     push.3
+    trace.240
     exec.::std::mem::pipe_preimage_to_memory
+    trace.252
     drop
     push.1048576
     u32assert
@@ -28,18 +40,30 @@ end
 # mod miden:counter-contract/counter@0.1.0::counter_contract
 
 proc.miden_base_sys::bindings::account::extern_account_incr_nonce
+    trace.240
+    nop
     exec.::miden::account::incr_nonce
+    trace.252
+    nop
 end
 
 proc.miden_base_sys::bindings::storage::extern_get_storage_map_item
+    trace.240
+    nop
     exec.::miden::account::get_map_item
+    trace.252
+    nop
     movup.4
     dup.0
     movup.2
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.4
     dup.1
     swap.1
@@ -49,7 +73,11 @@ proc.miden_base_sys::bindings::storage::extern_get_storage_map_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.8
     dup.1
     swap.1
@@ -59,24 +87,40 @@ proc.miden_base_sys::bindings::storage::extern_get_storage_map_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.12
     add
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
 end
 
 proc.miden_base_sys::bindings::storage::extern_set_storage_map_item
+    trace.240
+    nop
     exec.::miden::account::set_map_item
+    trace.252
+    nop
     movup.8
     dup.0
     movup.2
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.4
     dup.1
     swap.1
@@ -86,7 +130,11 @@ proc.miden_base_sys::bindings::storage::extern_set_storage_map_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.8
     dup.1
     swap.1
@@ -96,7 +144,11 @@ proc.miden_base_sys::bindings::storage::extern_set_storage_map_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.12
     dup.1
     swap.1
@@ -106,7 +158,11 @@ proc.miden_base_sys::bindings::storage::extern_set_storage_map_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.16
     dup.1
     swap.1
@@ -116,7 +172,11 @@ proc.miden_base_sys::bindings::storage::extern_set_storage_map_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.20
     dup.1
     swap.1
@@ -126,7 +186,11 @@ proc.miden_base_sys::bindings::storage::extern_set_storage_map_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.24
     dup.1
     swap.1
@@ -136,13 +200,21 @@ proc.miden_base_sys::bindings::storage::extern_set_storage_map_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.28
     add
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
 end
 
 proc.__wasm_call_ctors
@@ -157,7 +229,11 @@ proc.__rustc::__rust_alloc
     push.1048612
     movup.2
     swap.1
+    trace.240
+    nop
     exec.::miden:counter-contract/counter@0.1.0::counter_contract::<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
+    trace.252
+    nop
 end
 
 proc.__rustc::__rust_realloc
@@ -166,7 +242,11 @@ proc.__rustc::__rust_realloc
     swap.2
     swap.4
     swap.1
+    trace.240
+    nop
     exec.::miden:counter-contract/counter@0.1.0::counter_contract::<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
+    trace.252
+    nop
     push.0
     push.0
     dup.2
@@ -218,7 +298,11 @@ proc.__rustc::__rust_realloc
                 assertz
                 u32divmod.4
                 swap.1
+                trace.240
+                nop
                 exec.::intrinsics::mem::load_sw
+                trace.252
+                nop
                 push.128
                 u32and
                 swap.1
@@ -226,13 +310,21 @@ proc.__rustc::__rust_realloc
                 swap.1
                 dup.1
                 dup.1
+                trace.240
+                nop
                 exec.::intrinsics::mem::load_sw
+                trace.252
+                nop
                 push.4294967040
                 u32and
                 movup.3
                 u32or
                 movdn.2
+                trace.240
+                nop
                 exec.::intrinsics::mem::store_sw
+                trace.252
+                nop
                 u32wrapping_add.1
                 dup.0
                 dup.4
@@ -247,7 +339,11 @@ export.miden:counter-contract/counter@0.1.0#get-count
     push.1048576
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.4294967264
     push.64
     dup.2
@@ -259,8 +355,16 @@ export.miden:counter-contract/counter@0.1.0#get-count
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
+    trace.240
+    nop
     exec.::miden:counter-contract/counter@0.1.0::counter_contract::wit_bindgen_rt::run_ctors_once
+    trace.252
+    nop
     push.3735929054
     push.0
     push.0
@@ -311,7 +415,11 @@ export.miden:counter-contract/counter@0.1.0#get-count
             swap.1
             u32divmod.4
             swap.1
+            trace.240
+            nop
             exec.::intrinsics::mem::store_felt
+            trace.252
+            nop
             push.1
             push.0
             push.4
@@ -353,7 +461,11 @@ export.miden:counter-contract/counter@0.1.0#get-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_dw
+    trace.252
+    nop
     push.8
     dup.3
     add
@@ -366,7 +478,11 @@ export.miden:counter-contract/counter@0.1.0#get-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_dw
+    trace.252
+    nop
     push.32
     dup.1
     add
@@ -379,7 +495,11 @@ export.miden:counter-contract/counter@0.1.0#get-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_dw
+    trace.252
+    nop
     dup.2
     push.8
     dup.1
@@ -389,7 +509,11 @@ export.miden:counter-contract/counter@0.1.0#get-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_dw
+    trace.252
+    nop
     push.0
     push.32
     dup.2
@@ -398,7 +522,11 @@ export.miden:counter-contract/counter@0.1.0#get-count
     dup.2
     swap.2
     swap.1
+    trace.240
+    nop
     exec.::miden:counter-contract/counter@0.1.0::counter_contract::miden_base_sys::bindings::storage::get_map_item
+    trace.252
+    nop
     push.44
     swap.1
     add
@@ -411,20 +539,32 @@ export.miden:counter-contract/counter@0.1.0#get-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.1048576
     movup.2
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
 end
 
 export.miden:counter-contract/counter@0.1.0#increment-count
     push.1048576
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.4294967264
     push.160
     dup.2
@@ -436,8 +576,16 @@ export.miden:counter-contract/counter@0.1.0#increment-count
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
+    trace.240
+    nop
     exec.::miden:counter-contract/counter@0.1.0::counter_contract::wit_bindgen_rt::run_ctors_once
+    trace.252
+    nop
     push.3735929054
     push.0
     push.0
@@ -488,7 +636,11 @@ export.miden:counter-contract/counter@0.1.0#increment-count
             swap.1
             u32divmod.4
             swap.1
+            trace.240
+            nop
             exec.::intrinsics::mem::store_felt
+            trace.252
+            nop
             push.1
             push.0
             push.4
@@ -530,7 +682,11 @@ export.miden:counter-contract/counter@0.1.0#increment-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_dw
+    trace.252
+    nop
     push.8
     dup.3
     add
@@ -543,7 +699,11 @@ export.miden:counter-contract/counter@0.1.0#increment-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_dw
+    trace.252
+    nop
     push.32
     dup.1
     add
@@ -556,7 +716,11 @@ export.miden:counter-contract/counter@0.1.0#increment-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_dw
+    trace.252
+    nop
     dup.2
     push.8
     dup.1
@@ -566,7 +730,11 @@ export.miden:counter-contract/counter@0.1.0#increment-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_dw
+    trace.252
+    nop
     push.0
     push.32
     dup.2
@@ -575,7 +743,11 @@ export.miden:counter-contract/counter@0.1.0#increment-count
     dup.2
     swap.2
     swap.1
+    trace.240
+    nop
     exec.::miden:counter-contract/counter@0.1.0::counter_contract::miden_base_sys::bindings::storage::get_map_item
+    trace.252
+    nop
     push.44
     dup.1
     add
@@ -588,7 +760,11 @@ export.miden:counter-contract/counter@0.1.0#increment-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.1
     add
     push.24
@@ -603,7 +779,11 @@ export.miden:counter-contract/counter@0.1.0#increment-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_dw
+    trace.252
+    nop
     push.120
     dup.4
     add
@@ -616,7 +796,11 @@ export.miden:counter-contract/counter@0.1.0#increment-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_dw
+    trace.252
+    nop
     push.16
     dup.2
     add
@@ -629,7 +813,11 @@ export.miden:counter-contract/counter@0.1.0#increment-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_dw
+    trace.252
+    nop
     push.112
     dup.4
     add
@@ -642,7 +830,11 @@ export.miden:counter-contract/counter@0.1.0#increment-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_dw
+    trace.252
+    nop
     push.8
     dup.2
     add
@@ -655,7 +847,11 @@ export.miden:counter-contract/counter@0.1.0#increment-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_dw
+    trace.252
+    nop
     push.104
     dup.4
     add
@@ -668,7 +864,11 @@ export.miden:counter-contract/counter@0.1.0#increment-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_dw
+    trace.252
+    nop
     dup.1
     push.8
     dup.1
@@ -678,7 +878,11 @@ export.miden:counter-contract/counter@0.1.0#increment-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_dw
+    trace.252
+    nop
     push.96
     dup.4
     add
@@ -691,14 +895,22 @@ export.miden:counter-contract/counter@0.1.0#increment-count
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_dw
+    trace.252
+    nop
     push.128
     dup.2
     swap.1
     u32wrapping_add
     dup.1
     swap.1
+    trace.240
+    nop
     exec.::miden:counter-contract/counter@0.1.0::counter_contract::<miden_stdlib_sys::intrinsics::word::Word as core::convert::From<miden_stdlib_sys::intrinsics::felt::Felt>>::from
+    trace.252
+    nop
     push.128
     dup.2
     swap.1
@@ -712,19 +924,35 @@ export.miden:counter-contract/counter@0.1.0#increment-count
     movup.5
     swap.1
     u32wrapping_add
+    trace.240
+    nop
     exec.::miden:counter-contract/counter@0.1.0::counter_contract::miden_base_sys::bindings::storage::set_map_item
+    trace.252
+    nop
     push.1
+    trace.240
+    nop
     exec.::miden:counter-contract/counter@0.1.0::counter_contract::miden_base_sys::bindings::account::incr_nonce
+    trace.252
+    nop
     push.1048576
     movup.2
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
 end
 
 export.cabi_realloc_wit_bindgen_0_28_0
+    trace.240
+    nop
     exec.::miden:counter-contract/counter@0.1.0::counter_contract::wit_bindgen_rt::cabi_realloc
+    trace.252
+    nop
 end
 
 proc.wit_bindgen_rt::cabi_realloc
@@ -733,7 +961,11 @@ proc.wit_bindgen_rt::cabi_realloc
     swap.1
     neq
     if.true
+        trace.240
+        nop
         exec.::miden:counter-contract/counter@0.1.0::counter_contract::__rustc::__rust_realloc
+        trace.252
+        nop
         push.0
         push.3735929054
         movup.2
@@ -755,7 +987,11 @@ proc.wit_bindgen_rt::cabi_realloc
             swap.1
         else
             swap.1
+            trace.240
+            nop
             exec.::miden:counter-contract/counter@0.1.0::counter_contract::__rustc::__rust_alloc
+            trace.252
+            nop
             push.0
             push.3735929054
             movup.2
@@ -803,7 +1039,11 @@ proc.wit_bindgen_rt::run_ctors_once
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.128
     u32and
     push.0
@@ -812,7 +1052,11 @@ proc.wit_bindgen_rt::run_ctors_once
     if.true
         nop
     else
+        trace.240
+        nop
         exec.::miden:counter-contract/counter@0.1.0::counter_contract::__wasm_call_ctors
+        trace.252
+        nop
         push.1
         push.1048617
         push.0
@@ -822,13 +1066,21 @@ proc.wit_bindgen_rt::run_ctors_once
         swap.1
         dup.1
         dup.1
+        trace.240
+        nop
         exec.::intrinsics::mem::load_sw
+        trace.252
+        nop
         push.4294967040
         u32and
         movup.3
         u32or
         movdn.2
+        trace.240
+        nop
         exec.::intrinsics::mem::store_sw
+        trace.252
+        nop
     end
 end
 
@@ -858,7 +1110,11 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
         push.3735929054
     else
         movup.2
+        trace.240
+        nop
         exec.::miden:counter-contract/counter@0.1.0::counter_contract::core::ptr::alignment::Alignment::max
+        trace.252
+        nop
         push.0
         push.2147483648
         dup.2
@@ -893,15 +1149,27 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
             assertz.err=250
             u32divmod.4
             swap.1
+            trace.240
+            nop
             exec.::intrinsics::mem::load_sw
+            trace.252
+            nop
             push.0
             neq
             if.true
                 push.0
                 swap.3
             else
+                trace.240
+                nop
                 exec.::intrinsics::mem::heap_base
+                trace.252
+                nop
+                trace.240
+                nop
                 exec.::intrinsics::mem::memory_size
+                trace.252
+                nop
                 dup.4
                 push.4
                 dup.1
@@ -919,7 +1187,11 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
                 swap.1
                 u32divmod.4
                 swap.1
+                trace.240
+                nop
                 exec.::intrinsics::mem::store_sw
+                trace.252
+                nop
                 push.0
                 swap.3
             end
@@ -932,7 +1204,11 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
             assertz.err=250
             u32divmod.4
             swap.1
+            trace.240
+            nop
             exec.::intrinsics::mem::load_sw
+            trace.252
+            nop
             push.0
             dup.3
             push.268435456
@@ -961,7 +1237,11 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
                 swap.1
                 u32divmod.4
                 swap.1
+                trace.240
+                nop
                 exec.::intrinsics::mem::store_sw
+                trace.252
+                nop
                 push.1
                 swap.1
                 movup.2
@@ -983,7 +1263,11 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
 end
 
 proc.miden_base_sys::bindings::account::incr_nonce
+    trace.240
+    nop
     exec.::miden:counter-contract/counter@0.1.0::counter_contract::miden_base_sys::bindings::account::extern_account_incr_nonce
+    trace.252
+    nop
 end
 
 proc.miden_base_sys::bindings::storage::get_map_item
@@ -996,7 +1280,11 @@ proc.miden_base_sys::bindings::storage::get_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.4
     dup.4
     add
@@ -1009,7 +1297,11 @@ proc.miden_base_sys::bindings::storage::get_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.8
     dup.5
     add
@@ -1022,7 +1314,11 @@ proc.miden_base_sys::bindings::storage::get_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.12
     movup.6
     add
@@ -1035,7 +1331,11 @@ proc.miden_base_sys::bindings::storage::get_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.255
     movup.6
     swap.1
@@ -1046,7 +1346,11 @@ proc.miden_base_sys::bindings::storage::get_map_item
     swap.1
     swap.4
     swap.1
+    trace.240
+    nop
     exec.::miden:counter-contract/counter@0.1.0::counter_contract::miden_base_sys::bindings::storage::extern_get_storage_map_item
+    trace.252
+    nop
 end
 
 proc.miden_base_sys::bindings::storage::set_map_item
@@ -1059,7 +1363,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.4
     dup.4
     add
@@ -1072,7 +1380,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.8
     dup.5
     add
@@ -1085,7 +1397,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.12
     movup.6
     add
@@ -1098,7 +1414,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     dup.6
     push.4
     dup.1
@@ -1108,7 +1428,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.4
     dup.8
     add
@@ -1121,7 +1445,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.8
     dup.9
     add
@@ -1134,7 +1462,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.12
     movup.10
     add
@@ -1147,7 +1479,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.255
     movup.10
     swap.1
@@ -1164,7 +1500,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     swap.1
     swap.8
     swap.1
+    trace.240
+    nop
     exec.::miden:counter-contract/counter@0.1.0::counter_contract::miden_base_sys::bindings::storage::extern_set_storage_map_item
+    trace.252
+    nop
 end
 
 proc.<miden_stdlib_sys::intrinsics::word::Word as core::convert::From<miden_stdlib_sys::intrinsics::felt::Felt>>::from
@@ -1182,7 +1522,11 @@ proc.<miden_stdlib_sys::intrinsics::word::Word as core::convert::From<miden_stdl
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.8
     dup.1
     add
@@ -1197,7 +1541,11 @@ proc.<miden_stdlib_sys::intrinsics::word::Word as core::convert::From<miden_stdl
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.4
     dup.1
     add
@@ -1212,7 +1560,11 @@ proc.<miden_stdlib_sys::intrinsics::word::Word as core::convert::From<miden_stdl
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.4
     dup.1
     swap.1
@@ -1223,7 +1575,11 @@ proc.<miden_stdlib_sys::intrinsics::word::Word as core::convert::From<miden_stdl
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
 end
 
 proc.core::ptr::alignment::Alignment::max
@@ -1237,6 +1593,10 @@ proc.core::ptr::alignment::Alignment::max
 end
 
 export.cabi_realloc
+    trace.240
+    nop
     exec.::miden:counter-contract/counter@0.1.0::counter_contract::cabi_realloc_wit_bindgen_0_28_0
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/examples/fib.masm b/tests/integration/expected/examples/fib.masm
index d4f515319..5a8cd0631 100644
--- a/tests/integration/expected/examples/fib.masm
+++ b/tests/integration/expected/examples/fib.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/examples/storage_example.masm b/tests/integration/expected/examples/storage_example.masm
index a0d7e61c7..82f8e5b02 100644
--- a/tests/integration/expected/examples/storage_example.masm
+++ b/tests/integration/expected/examples/storage_example.masm
@@ -1,16 +1,26 @@
 # mod miden:storage-example/foo@1.0.0
 
 export.set-asset-qty
+    trace.240
+    nop
     exec.::miden:storage-example/foo@1.0.0::storage_example::miden:storage-example/foo@1.0.0#set-asset-qty
+    trace.252
+    nop
 end
 
 export.get-asset-qty
+    trace.240
+    nop
     exec.::miden:storage-example/foo@1.0.0::storage_example::miden:storage-example/foo@1.0.0#get-asset-qty
+    trace.252
+    nop
 end
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.5121323707957172480
     push.16385291266171272914
     push.3612753469884014922
@@ -18,7 +28,9 @@ export.init
     adv.push_mapval
     push.262144
     push.3
+    trace.240
     exec.::std::mem::pipe_preimage_to_memory
+    trace.252
     drop
     push.1048576
     u32assert
@@ -28,14 +40,22 @@ end
 # mod miden:storage-example/foo@1.0.0::storage_example
 
 proc.miden_base_sys::bindings::storage::extern_get_storage_item
+    trace.240
+    nop
     exec.::miden::account::get_item
+    trace.252
+    nop
     movup.4
     dup.0
     movup.2
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.4
     dup.1
     swap.1
@@ -45,7 +65,11 @@ proc.miden_base_sys::bindings::storage::extern_get_storage_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.8
     dup.1
     swap.1
@@ -55,24 +79,40 @@ proc.miden_base_sys::bindings::storage::extern_get_storage_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.12
     add
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
 end
 
 proc.miden_base_sys::bindings::storage::extern_get_storage_map_item
+    trace.240
+    nop
     exec.::miden::account::get_map_item
+    trace.252
+    nop
     movup.4
     dup.0
     movup.2
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.4
     dup.1
     swap.1
@@ -82,7 +122,11 @@ proc.miden_base_sys::bindings::storage::extern_get_storage_map_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.8
     dup.1
     swap.1
@@ -92,24 +136,40 @@ proc.miden_base_sys::bindings::storage::extern_get_storage_map_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.12
     add
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
 end
 
 proc.miden_base_sys::bindings::storage::extern_set_storage_map_item
+    trace.240
+    nop
     exec.::miden::account::set_map_item
+    trace.252
+    nop
     movup.8
     dup.0
     movup.2
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.4
     dup.1
     swap.1
@@ -119,7 +179,11 @@ proc.miden_base_sys::bindings::storage::extern_set_storage_map_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.8
     dup.1
     swap.1
@@ -129,7 +193,11 @@ proc.miden_base_sys::bindings::storage::extern_set_storage_map_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.12
     dup.1
     swap.1
@@ -139,7 +207,11 @@ proc.miden_base_sys::bindings::storage::extern_set_storage_map_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.16
     dup.1
     swap.1
@@ -149,7 +221,11 @@ proc.miden_base_sys::bindings::storage::extern_set_storage_map_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.20
     dup.1
     swap.1
@@ -159,7 +235,11 @@ proc.miden_base_sys::bindings::storage::extern_set_storage_map_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.24
     dup.1
     swap.1
@@ -169,13 +249,21 @@ proc.miden_base_sys::bindings::storage::extern_set_storage_map_item
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.28
     add
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
 end
 
 proc.__wasm_call_ctors
@@ -190,7 +278,11 @@ proc.__rustc::__rust_alloc
     push.1048612
     movup.2
     swap.1
+    trace.240
+    nop
     exec.::miden:storage-example/foo@1.0.0::storage_example::<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
+    trace.252
+    nop
 end
 
 proc.__rustc::__rust_realloc
@@ -199,7 +291,11 @@ proc.__rustc::__rust_realloc
     swap.2
     swap.4
     swap.1
+    trace.240
+    nop
     exec.::miden:storage-example/foo@1.0.0::storage_example::<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
+    trace.252
+    nop
     push.0
     push.0
     dup.2
@@ -251,7 +347,11 @@ proc.__rustc::__rust_realloc
                 assertz
                 u32divmod.4
                 swap.1
+                trace.240
+                nop
                 exec.::intrinsics::mem::load_sw
+                trace.252
+                nop
                 push.128
                 u32and
                 swap.1
@@ -259,13 +359,21 @@ proc.__rustc::__rust_realloc
                 swap.1
                 dup.1
                 dup.1
+                trace.240
+                nop
                 exec.::intrinsics::mem::load_sw
+                trace.252
+                nop
                 push.4294967040
                 u32and
                 movup.3
                 u32or
                 movdn.2
+                trace.240
+                nop
                 exec.::intrinsics::mem::store_sw
+                trace.252
+                nop
                 u32wrapping_add.1
                 dup.0
                 dup.4
@@ -280,7 +388,11 @@ export.miden:storage-example/foo@1.0.0#set-asset-qty
     push.1048576
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.4294967264
     push.128
     dup.2
@@ -292,8 +404,16 @@ export.miden:storage-example/foo@1.0.0#set-asset-qty
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
+    trace.240
+    nop
     exec.::miden:storage-example/foo@1.0.0::storage_example::wit_bindgen_rt::run_ctors_once
+    trace.252
+    nop
     push.12
     dup.1
     add
@@ -308,7 +428,11 @@ export.miden:storage-example/foo@1.0.0#set-asset-qty
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.8
     dup.1
     add
@@ -323,7 +447,11 @@ export.miden:storage-example/foo@1.0.0#set-asset-qty
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.4
     dup.1
     add
@@ -338,7 +466,11 @@ export.miden:storage-example/foo@1.0.0#set-asset-qty
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     dup.0
     push.4
     dup.1
@@ -350,13 +482,21 @@ export.miden:storage-example/foo@1.0.0#set-asset-qty
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.0
     push.32
     dup.2
     swap.1
     u32wrapping_add
+    trace.240
+    nop
     exec.::miden:storage-example/foo@1.0.0::storage_example::miden_base_sys::bindings::storage::get_item
+    trace.252
+    nop
     push.44
     dup.1
     add
@@ -369,7 +509,11 @@ export.miden:storage-example/foo@1.0.0#set-asset-qty
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.40
     dup.2
     add
@@ -382,7 +526,11 @@ export.miden:storage-example/foo@1.0.0#set-asset-qty
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.36
     dup.3
     add
@@ -395,7 +543,11 @@ export.miden:storage-example/foo@1.0.0#set-asset-qty
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.32
     dup.4
     add
@@ -408,7 +560,11 @@ export.miden:storage-example/foo@1.0.0#set-asset-qty
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.0
     push.1
     movup.8
@@ -469,7 +625,11 @@ export.miden:storage-example/foo@1.0.0#set-asset-qty
                     u32wrapping_add
                     movup.3
                     swap.1
+                    trace.240
+                    nop
                     exec.::miden:storage-example/foo@1.0.0::storage_example::<miden_stdlib_sys::intrinsics::word::Word as core::convert::From<miden_stdlib_sys::intrinsics::felt::Felt>>::from
+                    trace.252
+                    nop
                     push.96
                     dup.1
                     swap.1
@@ -482,7 +642,11 @@ export.miden:storage-example/foo@1.0.0#set-asset-qty
                     movup.2
                     swap.3
                     movdn.2
+                    trace.240
+                    nop
                     exec.::miden:storage-example/foo@1.0.0::storage_example::miden_base_sys::bindings::storage::set_map_item
+                    trace.252
+                    nop
                 end
             end
         end
@@ -490,14 +654,22 @@ export.miden:storage-example/foo@1.0.0#set-asset-qty
     push.1048576
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
 end
 
 export.miden:storage-example/foo@1.0.0#get-asset-qty
     push.1048576
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.4294967264
     push.64
     dup.2
@@ -509,8 +681,16 @@ export.miden:storage-example/foo@1.0.0#get-asset-qty
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
+    trace.240
+    nop
     exec.::miden:storage-example/foo@1.0.0::storage_example::wit_bindgen_rt::run_ctors_once
+    trace.252
+    nop
     push.12
     dup.1
     add
@@ -525,7 +705,11 @@ export.miden:storage-example/foo@1.0.0#get-asset-qty
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.8
     dup.1
     add
@@ -540,7 +724,11 @@ export.miden:storage-example/foo@1.0.0#get-asset-qty
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.4
     dup.1
     add
@@ -555,7 +743,11 @@ export.miden:storage-example/foo@1.0.0#get-asset-qty
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     dup.0
     push.4
     dup.1
@@ -567,7 +759,11 @@ export.miden:storage-example/foo@1.0.0#get-asset-qty
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.1
     push.32
     dup.2
@@ -576,7 +772,11 @@ export.miden:storage-example/foo@1.0.0#get-asset-qty
     dup.2
     swap.2
     swap.1
+    trace.240
+    nop
     exec.::miden:storage-example/foo@1.0.0::storage_example::miden_base_sys::bindings::storage::get_map_item
+    trace.252
+    nop
     push.44
     swap.1
     add
@@ -589,17 +789,29 @@ export.miden:storage-example/foo@1.0.0#get-asset-qty
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.1048576
     movup.2
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
 end
 
 export.cabi_realloc_wit_bindgen_0_28_0
+    trace.240
+    nop
     exec.::miden:storage-example/foo@1.0.0::storage_example::wit_bindgen_rt::cabi_realloc
+    trace.252
+    nop
 end
 
 proc.wit_bindgen_rt::cabi_realloc
@@ -608,7 +820,11 @@ proc.wit_bindgen_rt::cabi_realloc
     swap.1
     neq
     if.true
+        trace.240
+        nop
         exec.::miden:storage-example/foo@1.0.0::storage_example::__rustc::__rust_realloc
+        trace.252
+        nop
         push.0
         push.3735929054
         movup.2
@@ -630,7 +846,11 @@ proc.wit_bindgen_rt::cabi_realloc
             swap.1
         else
             swap.1
+            trace.240
+            nop
             exec.::miden:storage-example/foo@1.0.0::storage_example::__rustc::__rust_alloc
+            trace.252
+            nop
             push.0
             push.3735929054
             movup.2
@@ -678,7 +898,11 @@ proc.wit_bindgen_rt::run_ctors_once
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.128
     u32and
     push.0
@@ -687,7 +911,11 @@ proc.wit_bindgen_rt::run_ctors_once
     if.true
         nop
     else
+        trace.240
+        nop
         exec.::miden:storage-example/foo@1.0.0::storage_example::__wasm_call_ctors
+        trace.252
+        nop
         push.1
         push.1048617
         push.0
@@ -697,13 +925,21 @@ proc.wit_bindgen_rt::run_ctors_once
         swap.1
         dup.1
         dup.1
+        trace.240
+        nop
         exec.::intrinsics::mem::load_sw
+        trace.252
+        nop
         push.4294967040
         u32and
         movup.3
         u32or
         movdn.2
+        trace.240
+        nop
         exec.::intrinsics::mem::store_sw
+        trace.252
+        nop
     end
 end
 
@@ -733,7 +969,11 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
         push.3735929054
     else
         movup.2
+        trace.240
+        nop
         exec.::miden:storage-example/foo@1.0.0::storage_example::core::ptr::alignment::Alignment::max
+        trace.252
+        nop
         push.0
         push.2147483648
         dup.2
@@ -768,15 +1008,27 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
             assertz.err=250
             u32divmod.4
             swap.1
+            trace.240
+            nop
             exec.::intrinsics::mem::load_sw
+            trace.252
+            nop
             push.0
             neq
             if.true
                 push.0
                 swap.3
             else
+                trace.240
+                nop
                 exec.::intrinsics::mem::heap_base
+                trace.252
+                nop
+                trace.240
+                nop
                 exec.::intrinsics::mem::memory_size
+                trace.252
+                nop
                 dup.4
                 push.4
                 dup.1
@@ -794,7 +1046,11 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
                 swap.1
                 u32divmod.4
                 swap.1
+                trace.240
+                nop
                 exec.::intrinsics::mem::store_sw
+                trace.252
+                nop
                 push.0
                 swap.3
             end
@@ -807,7 +1063,11 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
             assertz.err=250
             u32divmod.4
             swap.1
+            trace.240
+            nop
             exec.::intrinsics::mem::load_sw
+            trace.252
+            nop
             push.0
             dup.3
             push.268435456
@@ -836,7 +1096,11 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
                 swap.1
                 u32divmod.4
                 swap.1
+                trace.240
+                nop
                 exec.::intrinsics::mem::store_sw
+                trace.252
+                nop
                 push.1
                 swap.1
                 movup.2
@@ -862,7 +1126,11 @@ proc.miden_base_sys::bindings::storage::get_item
     movup.2
     swap.1
     u32and
+    trace.240
+    nop
     exec.::miden:storage-example/foo@1.0.0::storage_example::miden_base_sys::bindings::storage::extern_get_storage_item
+    trace.252
+    nop
 end
 
 proc.miden_base_sys::bindings::storage::get_map_item
@@ -875,7 +1143,11 @@ proc.miden_base_sys::bindings::storage::get_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.4
     dup.4
     add
@@ -888,7 +1160,11 @@ proc.miden_base_sys::bindings::storage::get_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.8
     dup.5
     add
@@ -901,7 +1177,11 @@ proc.miden_base_sys::bindings::storage::get_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.12
     movup.6
     add
@@ -914,7 +1194,11 @@ proc.miden_base_sys::bindings::storage::get_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.255
     movup.6
     swap.1
@@ -925,7 +1209,11 @@ proc.miden_base_sys::bindings::storage::get_map_item
     swap.1
     swap.4
     swap.1
+    trace.240
+    nop
     exec.::miden:storage-example/foo@1.0.0::storage_example::miden_base_sys::bindings::storage::extern_get_storage_map_item
+    trace.252
+    nop
 end
 
 proc.miden_base_sys::bindings::storage::set_map_item
@@ -938,7 +1226,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.4
     dup.4
     add
@@ -951,7 +1243,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.8
     dup.5
     add
@@ -964,7 +1260,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.12
     movup.6
     add
@@ -977,7 +1277,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     dup.6
     push.4
     dup.1
@@ -987,7 +1291,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.4
     dup.8
     add
@@ -1000,7 +1308,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.8
     dup.9
     add
@@ -1013,7 +1325,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.12
     movup.10
     add
@@ -1026,7 +1342,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     assertz.err=250
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_felt
+    trace.252
+    nop
     push.255
     movup.10
     swap.1
@@ -1043,7 +1363,11 @@ proc.miden_base_sys::bindings::storage::set_map_item
     swap.1
     swap.8
     swap.1
+    trace.240
+    nop
     exec.::miden:storage-example/foo@1.0.0::storage_example::miden_base_sys::bindings::storage::extern_set_storage_map_item
+    trace.252
+    nop
 end
 
 proc.<miden_stdlib_sys::intrinsics::word::Word as core::convert::From<miden_stdlib_sys::intrinsics::felt::Felt>>::from
@@ -1061,7 +1385,11 @@ proc.<miden_stdlib_sys::intrinsics::word::Word as core::convert::From<miden_stdl
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.8
     dup.1
     add
@@ -1076,7 +1404,11 @@ proc.<miden_stdlib_sys::intrinsics::word::Word as core::convert::From<miden_stdl
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.4
     dup.1
     add
@@ -1091,7 +1423,11 @@ proc.<miden_stdlib_sys::intrinsics::word::Word as core::convert::From<miden_stdl
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
     push.4
     dup.1
     swap.1
@@ -1102,7 +1438,11 @@ proc.<miden_stdlib_sys::intrinsics::word::Word as core::convert::From<miden_stdl
     swap.1
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::store_felt
+    trace.252
+    nop
 end
 
 proc.core::ptr::alignment::Alignment::max
@@ -1116,6 +1456,10 @@ proc.core::ptr::alignment::Alignment::max
 end
 
 export.cabi_realloc
+    trace.240
+    nop
     exec.::miden:storage-example/foo@1.0.0::storage_example::cabi_realloc_wit_bindgen_0_28_0
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/ge_felt.masm b/tests/integration/expected/ge_felt.masm
index b3632e378..585df2b93 100644
--- a/tests/integration/expected/ge_felt.masm
+++ b/tests/integration/expected/ge_felt.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/ge_i32.masm b/tests/integration/expected/ge_i32.masm
index 69d81d4d7..20cec3cc7 100644
--- a/tests/integration/expected/ge_i32.masm
+++ b/tests/integration/expected/ge_i32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -18,6 +20,10 @@ end
 
 export.entrypoint
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::i32::is_gte
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/ge_i64.masm b/tests/integration/expected/ge_i64.masm
index 2252ac8da..3c46906b4 100644
--- a/tests/integration/expected/ge_i64.masm
+++ b/tests/integration/expected/ge_i64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -19,6 +21,10 @@ end
 export.entrypoint
     movdn.3
     movdn.3
+    trace.240
+    nop
     exec.::intrinsics::i64::gte
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/ge_u16.masm b/tests/integration/expected/ge_u16.masm
index 8f694dd36..2404cbceb 100644
--- a/tests/integration/expected/ge_u16.masm
+++ b/tests/integration/expected/ge_u16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/ge_u32.masm b/tests/integration/expected/ge_u32.masm
index 7a082268a..b553e8cd6 100644
--- a/tests/integration/expected/ge_u32.masm
+++ b/tests/integration/expected/ge_u32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/ge_u64.masm b/tests/integration/expected/ge_u64.masm
index 84ee4bb20..3752360ea 100644
--- a/tests/integration/expected/ge_u64.masm
+++ b/tests/integration/expected/ge_u64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -23,6 +25,10 @@ export.entrypoint
     movdn.3
     movdn.3
     movdn.3
+    trace.240
+    nop
     exec.::std::math::u64::gte
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/ge_u8.masm b/tests/integration/expected/ge_u8.masm
index 0409d117e..72d89ba55 100644
--- a/tests/integration/expected/ge_u8.masm
+++ b/tests/integration/expected/ge_u8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/gt_felt.masm b/tests/integration/expected/gt_felt.masm
index a5031c071..ef7d2cc87 100644
--- a/tests/integration/expected/gt_felt.masm
+++ b/tests/integration/expected/gt_felt.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/gt_i32.masm b/tests/integration/expected/gt_i32.masm
index c292289a0..110eb490e 100644
--- a/tests/integration/expected/gt_i32.masm
+++ b/tests/integration/expected/gt_i32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -18,6 +20,10 @@ end
 
 export.entrypoint
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::i32::is_gt
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/gt_i64.masm b/tests/integration/expected/gt_i64.masm
index 476c464a5..5cf7df284 100644
--- a/tests/integration/expected/gt_i64.masm
+++ b/tests/integration/expected/gt_i64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -19,6 +21,10 @@ end
 export.entrypoint
     movdn.3
     movdn.3
+    trace.240
+    nop
     exec.::intrinsics::i64::gt
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/gt_u16.masm b/tests/integration/expected/gt_u16.masm
index 8cd69a018..210e3750a 100644
--- a/tests/integration/expected/gt_u16.masm
+++ b/tests/integration/expected/gt_u16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/gt_u32.masm b/tests/integration/expected/gt_u32.masm
index 9d809838d..043b01b78 100644
--- a/tests/integration/expected/gt_u32.masm
+++ b/tests/integration/expected/gt_u32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/gt_u64.masm b/tests/integration/expected/gt_u64.masm
index 3dd0321fe..07403a83f 100644
--- a/tests/integration/expected/gt_u64.masm
+++ b/tests/integration/expected/gt_u64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -23,6 +25,10 @@ export.entrypoint
     movdn.3
     movdn.3
     movdn.3
+    trace.240
+    nop
     exec.::std::math::u64::gt
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/gt_u8.masm b/tests/integration/expected/gt_u8.masm
index 0d385831e..d0d3a8376 100644
--- a/tests/integration/expected/gt_u8.masm
+++ b/tests/integration/expected/gt_u8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/is_prime.masm b/tests/integration/expected/is_prime.masm
index 086d407d6..7b55d8a3c 100644
--- a/tests/integration/expected/is_prime.masm
+++ b/tests/integration/expected/is_prime.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -74,7 +76,11 @@ export.entrypoint
                         dup.1
                         dup.1
                         dup.2
+                        trace.240
+                        nop
                         exec.::intrinsics::i32::wrapping_mul
+                        trace.252
+                        nop
                         swap.1
                         u32gt
                         push.0
diff --git a/tests/integration/expected/le_felt.masm b/tests/integration/expected/le_felt.masm
index 2750bae58..dfce9876b 100644
--- a/tests/integration/expected/le_felt.masm
+++ b/tests/integration/expected/le_felt.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/le_i32.masm b/tests/integration/expected/le_i32.masm
index 7836053bf..187082d4f 100644
--- a/tests/integration/expected/le_i32.masm
+++ b/tests/integration/expected/le_i32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -18,6 +20,10 @@ end
 
 export.entrypoint
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::i32::is_lte
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/le_i64.masm b/tests/integration/expected/le_i64.masm
index 88d3c514e..82618574b 100644
--- a/tests/integration/expected/le_i64.masm
+++ b/tests/integration/expected/le_i64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -19,6 +21,10 @@ end
 export.entrypoint
     movdn.3
     movdn.3
+    trace.240
+    nop
     exec.::intrinsics::i64::lte
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/le_u16.masm b/tests/integration/expected/le_u16.masm
index eacf9b12f..878acafcb 100644
--- a/tests/integration/expected/le_u16.masm
+++ b/tests/integration/expected/le_u16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/le_u32.masm b/tests/integration/expected/le_u32.masm
index 09e6f65db..50e6b8dc5 100644
--- a/tests/integration/expected/le_u32.masm
+++ b/tests/integration/expected/le_u32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/le_u64.masm b/tests/integration/expected/le_u64.masm
index ba9097819..600f0214e 100644
--- a/tests/integration/expected/le_u64.masm
+++ b/tests/integration/expected/le_u64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -23,6 +25,10 @@ export.entrypoint
     movdn.3
     movdn.3
     movdn.3
+    trace.240
+    nop
     exec.::std::math::u64::lte
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/le_u8.masm b/tests/integration/expected/le_u8.masm
index 741f0345b..4f2fe49de 100644
--- a/tests/integration/expected/le_u8.masm
+++ b/tests/integration/expected/le_u8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/lt_felt.masm b/tests/integration/expected/lt_felt.masm
index 21ace8521..60dd13bc1 100644
--- a/tests/integration/expected/lt_felt.masm
+++ b/tests/integration/expected/lt_felt.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/lt_i32.masm b/tests/integration/expected/lt_i32.masm
index be6942895..3f3b7f4af 100644
--- a/tests/integration/expected/lt_i32.masm
+++ b/tests/integration/expected/lt_i32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -18,6 +20,10 @@ end
 
 export.entrypoint
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::i32::is_lt
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/lt_i64.masm b/tests/integration/expected/lt_i64.masm
index 939ca84d1..84cbf5444 100644
--- a/tests/integration/expected/lt_i64.masm
+++ b/tests/integration/expected/lt_i64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -19,6 +21,10 @@ end
 export.entrypoint
     movdn.3
     movdn.3
+    trace.240
+    nop
     exec.::intrinsics::i64::lt
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/lt_u16.masm b/tests/integration/expected/lt_u16.masm
index 89eef2b7d..19a0ce71a 100644
--- a/tests/integration/expected/lt_u16.masm
+++ b/tests/integration/expected/lt_u16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/lt_u32.masm b/tests/integration/expected/lt_u32.masm
index 4dde34480..26d8088e2 100644
--- a/tests/integration/expected/lt_u32.masm
+++ b/tests/integration/expected/lt_u32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/lt_u64.masm b/tests/integration/expected/lt_u64.masm
index f20c330ac..9e40b0134 100644
--- a/tests/integration/expected/lt_u64.masm
+++ b/tests/integration/expected/lt_u64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -23,6 +25,10 @@ export.entrypoint
     movdn.3
     movdn.3
     movdn.3
+    trace.240
+    nop
     exec.::std::math::u64::lt
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/lt_u8.masm b/tests/integration/expected/lt_u8.masm
index 30bb20966..756802ec1 100644
--- a/tests/integration/expected/lt_u8.masm
+++ b/tests/integration/expected/lt_u8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/mul_felt.masm b/tests/integration/expected/mul_felt.masm
index 02c23ca9f..0fad4d967 100644
--- a/tests/integration/expected/mul_felt.masm
+++ b/tests/integration/expected/mul_felt.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/mul_i32.masm b/tests/integration/expected/mul_i32.masm
index adc305acf..c12bf92b6 100644
--- a/tests/integration/expected/mul_i32.masm
+++ b/tests/integration/expected/mul_i32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -17,6 +19,10 @@ end
 # mod root_ns:root@1.0.0::test_rust_4a870fe7a144fba5513f0d246ed1179aba172aab8f12afb574634dd1bb298024
 
 export.entrypoint
+    trace.240
+    nop
     exec.::intrinsics::i32::wrapping_mul
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/mul_i64.masm b/tests/integration/expected/mul_i64.masm
index de6fdd8f9..7544b2dab 100644
--- a/tests/integration/expected/mul_i64.masm
+++ b/tests/integration/expected/mul_i64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -17,6 +19,10 @@ end
 # mod root_ns:root@1.0.0::test_rust_ee95318918a451f864b66b576532b422841bcd75ad8a62c4d4d3489a9158c08d
 
 export.entrypoint
+    trace.240
+    nop
     exec.::intrinsics::i64::wrapping_mul
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/mul_u16.masm b/tests/integration/expected/mul_u16.masm
index 984a4072b..dada27bda 100644
--- a/tests/integration/expected/mul_u16.masm
+++ b/tests/integration/expected/mul_u16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -20,7 +22,11 @@ export.entrypoint
     push.65535
     swap.1
     movup.2
+    trace.240
+    nop
     exec.::intrinsics::i32::wrapping_mul
+    trace.252
+    nop
     u32and
 end
 
diff --git a/tests/integration/expected/mul_u32.masm b/tests/integration/expected/mul_u32.masm
index ce89ed137..a5eacd8f4 100644
--- a/tests/integration/expected/mul_u32.masm
+++ b/tests/integration/expected/mul_u32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -17,6 +19,10 @@ end
 # mod root_ns:root@1.0.0::test_rust_774ac315a535180c25b481293c43de2ad5b38b8ed718ccd906a367b8df969453
 
 export.entrypoint
+    trace.240
+    nop
     exec.::intrinsics::i32::wrapping_mul
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/mul_u64.masm b/tests/integration/expected/mul_u64.masm
index 064c5739e..5fb58f3a3 100644
--- a/tests/integration/expected/mul_u64.masm
+++ b/tests/integration/expected/mul_u64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -17,6 +19,10 @@ end
 # mod root_ns:root@1.0.0::test_rust_ef43647914852c132ded20e7ab9569f69610af521a6074095544ea088f8908ae
 
 export.entrypoint
+    trace.240
+    nop
     exec.::intrinsics::i64::wrapping_mul
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/mul_u8.masm b/tests/integration/expected/mul_u8.masm
index 04d9eb4fe..92e8c82c2 100644
--- a/tests/integration/expected/mul_u8.masm
+++ b/tests/integration/expected/mul_u8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -20,7 +22,11 @@ export.entrypoint
     push.255
     swap.1
     movup.2
+    trace.240
+    nop
     exec.::intrinsics::i32::wrapping_mul
+    trace.252
+    nop
     u32and
 end
 
diff --git a/tests/integration/expected/neg_felt.masm b/tests/integration/expected/neg_felt.masm
index 2e6c3bf35..d364547a7 100644
--- a/tests/integration/expected/neg_felt.masm
+++ b/tests/integration/expected/neg_felt.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/neg_i16.masm b/tests/integration/expected/neg_i16.masm
index 735cb427d..811da5921 100644
--- a/tests/integration/expected/neg_i16.masm
+++ b/tests/integration/expected/neg_i16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/neg_i32.masm b/tests/integration/expected/neg_i32.masm
index a5460bfd0..f1846ac8f 100644
--- a/tests/integration/expected/neg_i32.masm
+++ b/tests/integration/expected/neg_i32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/neg_i64.masm b/tests/integration/expected/neg_i64.masm
index 4f76b1f06..975640cd4 100644
--- a/tests/integration/expected/neg_i64.masm
+++ b/tests/integration/expected/neg_i64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -21,6 +23,10 @@ export.entrypoint
     push.0
     movdn.3
     movdn.3
+    trace.240
+    nop
     exec.::std::math::u64::wrapping_sub
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/neg_i8.masm b/tests/integration/expected/neg_i8.masm
index d7442aae2..b2f9996ba 100644
--- a/tests/integration/expected/neg_i8.masm
+++ b/tests/integration/expected/neg_i8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/or_bool.masm b/tests/integration/expected/or_bool.masm
index 39c45e462..f5b8a2b40 100644
--- a/tests/integration/expected/or_bool.masm
+++ b/tests/integration/expected/or_bool.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/rust_sdk/cross_ctx_account.masm b/tests/integration/expected/rust_sdk/cross_ctx_account.masm
index 4d4aa8145..10376a454 100644
--- a/tests/integration/expected/rust_sdk/cross_ctx_account.masm
+++ b/tests/integration/expected/rust_sdk/cross_ctx_account.masm
@@ -1,12 +1,18 @@
 # mod miden:cross-ctx-account/foo@1.0.0
 
 export.process-felt
+    trace.240
+    nop
     exec.::miden:cross-ctx-account/foo@1.0.0::cross_ctx_account::miden:cross-ctx-account/foo@1.0.0#process-felt
+    trace.252
+    nop
 end
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.5121323707957172480
     push.16385291266171272914
     push.3612753469884014922
@@ -14,7 +20,9 @@ export.init
     adv.push_mapval
     push.262144
     push.3
+    trace.240
     exec.::std::mem::pipe_preimage_to_memory
+    trace.252
     drop
     push.1048576
     u32assert
@@ -35,7 +43,11 @@ proc.__rustc::__rust_alloc
     push.1048612
     movup.2
     swap.1
+    trace.240
+    nop
     exec.::miden:cross-ctx-account/foo@1.0.0::cross_ctx_account::<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
+    trace.252
+    nop
 end
 
 proc.__rustc::__rust_realloc
@@ -44,7 +56,11 @@ proc.__rustc::__rust_realloc
     swap.2
     swap.4
     swap.1
+    trace.240
+    nop
     exec.::miden:cross-ctx-account/foo@1.0.0::cross_ctx_account::<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
+    trace.252
+    nop
     push.0
     push.0
     dup.2
@@ -96,7 +112,11 @@ proc.__rustc::__rust_realloc
                 assertz
                 u32divmod.4
                 swap.1
+                trace.240
+                nop
                 exec.::intrinsics::mem::load_sw
+                trace.252
+                nop
                 push.128
                 u32and
                 swap.1
@@ -104,13 +124,21 @@ proc.__rustc::__rust_realloc
                 swap.1
                 dup.1
                 dup.1
+                trace.240
+                nop
                 exec.::intrinsics::mem::load_sw
+                trace.252
+                nop
                 push.4294967040
                 u32and
                 movup.3
                 u32or
                 movdn.2
+                trace.240
+                nop
                 exec.::intrinsics::mem::store_sw
+                trace.252
+                nop
                 u32wrapping_add.1
                 dup.0
                 dup.4
@@ -122,13 +150,21 @@ proc.__rustc::__rust_realloc
 end
 
 export.miden:cross-ctx-account/foo@1.0.0#process-felt
+    trace.240
+    nop
     exec.::miden:cross-ctx-account/foo@1.0.0::cross_ctx_account::wit_bindgen_rt::run_ctors_once
+    trace.252
+    nop
     push.3
     add
 end
 
 export.cabi_realloc_wit_bindgen_0_28_0
+    trace.240
+    nop
     exec.::miden:cross-ctx-account/foo@1.0.0::cross_ctx_account::wit_bindgen_rt::cabi_realloc
+    trace.252
+    nop
 end
 
 proc.wit_bindgen_rt::cabi_realloc
@@ -137,7 +173,11 @@ proc.wit_bindgen_rt::cabi_realloc
     swap.1
     neq
     if.true
+        trace.240
+        nop
         exec.::miden:cross-ctx-account/foo@1.0.0::cross_ctx_account::__rustc::__rust_realloc
+        trace.252
+        nop
         push.0
         push.3735929054
         movup.2
@@ -159,7 +199,11 @@ proc.wit_bindgen_rt::cabi_realloc
             swap.1
         else
             swap.1
+            trace.240
+            nop
             exec.::miden:cross-ctx-account/foo@1.0.0::cross_ctx_account::__rustc::__rust_alloc
+            trace.252
+            nop
             push.0
             push.3735929054
             movup.2
@@ -207,7 +251,11 @@ proc.wit_bindgen_rt::run_ctors_once
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.128
     u32and
     push.0
@@ -216,7 +264,11 @@ proc.wit_bindgen_rt::run_ctors_once
     if.true
         nop
     else
+        trace.240
+        nop
         exec.::miden:cross-ctx-account/foo@1.0.0::cross_ctx_account::__wasm_call_ctors
+        trace.252
+        nop
         push.1
         push.1048617
         push.0
@@ -226,13 +278,21 @@ proc.wit_bindgen_rt::run_ctors_once
         swap.1
         dup.1
         dup.1
+        trace.240
+        nop
         exec.::intrinsics::mem::load_sw
+        trace.252
+        nop
         push.4294967040
         u32and
         movup.3
         u32or
         movdn.2
+        trace.240
+        nop
         exec.::intrinsics::mem::store_sw
+        trace.252
+        nop
     end
 end
 
@@ -262,7 +322,11 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
         push.3735929054
     else
         movup.2
+        trace.240
+        nop
         exec.::miden:cross-ctx-account/foo@1.0.0::cross_ctx_account::core::ptr::alignment::Alignment::max
+        trace.252
+        nop
         push.0
         push.2147483648
         dup.2
@@ -297,15 +361,27 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
             assertz.err=250
             u32divmod.4
             swap.1
+            trace.240
+            nop
             exec.::intrinsics::mem::load_sw
+            trace.252
+            nop
             push.0
             neq
             if.true
                 push.0
                 swap.3
             else
+                trace.240
+                nop
                 exec.::intrinsics::mem::heap_base
+                trace.252
+                nop
+                trace.240
+                nop
                 exec.::intrinsics::mem::memory_size
+                trace.252
+                nop
                 dup.4
                 push.4
                 dup.1
@@ -323,7 +399,11 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
                 swap.1
                 u32divmod.4
                 swap.1
+                trace.240
+                nop
                 exec.::intrinsics::mem::store_sw
+                trace.252
+                nop
                 push.0
                 swap.3
             end
@@ -336,7 +416,11 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
             assertz.err=250
             u32divmod.4
             swap.1
+            trace.240
+            nop
             exec.::intrinsics::mem::load_sw
+            trace.252
+            nop
             push.0
             dup.3
             push.268435456
@@ -365,7 +449,11 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
                 swap.1
                 u32divmod.4
                 swap.1
+                trace.240
+                nop
                 exec.::intrinsics::mem::store_sw
+                trace.252
+                nop
                 push.1
                 swap.1
                 movup.2
@@ -397,6 +485,10 @@ proc.core::ptr::alignment::Alignment::max
 end
 
 export.cabi_realloc
+    trace.240
+    nop
     exec.::miden:cross-ctx-account/foo@1.0.0::cross_ctx_account::cabi_realloc_wit_bindgen_0_28_0
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/rust_sdk/cross_ctx_note.masm b/tests/integration/expected/rust_sdk/cross_ctx_note.masm
index fe51052c1..fdafd31b5 100644
--- a/tests/integration/expected/rust_sdk/cross_ctx_note.masm
+++ b/tests/integration/expected/rust_sdk/cross_ctx_note.masm
@@ -1,12 +1,18 @@
 # mod miden:base/note-script@1.0.0
 
 export.note-script
+    trace.240
+    nop
     exec.::miden:base/note-script@1.0.0::cross_ctx_note::miden:base/note-script@1.0.0#note-script
+    trace.252
+    nop
 end
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.9021226855565145792
     push.4948740029366688057
     push.7925211860580638461
@@ -14,7 +20,9 @@ export.init
     adv.push_mapval
     push.262144
     push.3
+    trace.240
     exec.::std::mem::pipe_preimage_to_memory
+    trace.252
     drop
     push.1048576
     u32assert
@@ -24,7 +32,11 @@ end
 # mod miden:base/note-script@1.0.0::cross_ctx_note
 
 proc.cross_ctx_note::bindings::miden::cross_ctx_account::foo::process_felt::wit_import1
+    trace.240
+    nop
     call.::miden:cross-ctx-account/foo@1.0.0::process-felt
+    trace.252
+    nop
 end
 
 proc.__wasm_call_ctors
@@ -39,7 +51,11 @@ proc.__rustc::__rust_alloc
     push.1048616
     movup.2
     swap.1
+    trace.240
+    nop
     exec.::miden:base/note-script@1.0.0::cross_ctx_note::<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
+    trace.252
+    nop
 end
 
 proc.__rustc::__rust_realloc
@@ -48,7 +64,11 @@ proc.__rustc::__rust_realloc
     swap.2
     swap.4
     swap.1
+    trace.240
+    nop
     exec.::miden:base/note-script@1.0.0::cross_ctx_note::<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
+    trace.252
+    nop
     push.0
     push.0
     dup.2
@@ -100,7 +120,11 @@ proc.__rustc::__rust_realloc
                 assertz
                 u32divmod.4
                 swap.1
+                trace.240
+                nop
                 exec.::intrinsics::mem::load_sw
+                trace.252
+                nop
                 push.128
                 u32and
                 swap.1
@@ -108,13 +132,21 @@ proc.__rustc::__rust_realloc
                 swap.1
                 dup.1
                 dup.1
+                trace.240
+                nop
                 exec.::intrinsics::mem::load_sw
+                trace.252
+                nop
                 push.4294967040
                 u32and
                 movup.3
                 u32or
                 movdn.2
+                trace.240
+                nop
                 exec.::intrinsics::mem::store_sw
+                trace.252
+                nop
                 u32wrapping_add.1
                 dup.0
                 dup.4
@@ -126,15 +158,27 @@ proc.__rustc::__rust_realloc
 end
 
 export.miden:base/note-script@1.0.0#note-script
+    trace.240
+    nop
     exec.::miden:base/note-script@1.0.0::cross_ctx_note::wit_bindgen_rt::run_ctors_once
+    trace.252
+    nop
     push.7
+    trace.240
+    nop
     exec.::miden:base/note-script@1.0.0::cross_ctx_note::cross_ctx_note::bindings::miden::cross_ctx_account::foo::process_felt::wit_import1
+    trace.252
+    nop
     push.10
     assert_eq
 end
 
 export.cabi_realloc_wit_bindgen_0_28_0
+    trace.240
+    nop
     exec.::miden:base/note-script@1.0.0::cross_ctx_note::wit_bindgen_rt::cabi_realloc
+    trace.252
+    nop
 end
 
 proc.wit_bindgen_rt::cabi_realloc
@@ -143,7 +187,11 @@ proc.wit_bindgen_rt::cabi_realloc
     swap.1
     neq
     if.true
+        trace.240
+        nop
         exec.::miden:base/note-script@1.0.0::cross_ctx_note::__rustc::__rust_realloc
+        trace.252
+        nop
         push.0
         push.3735929054
         movup.2
@@ -165,7 +213,11 @@ proc.wit_bindgen_rt::cabi_realloc
             swap.1
         else
             swap.1
+            trace.240
+            nop
             exec.::miden:base/note-script@1.0.0::cross_ctx_note::__rustc::__rust_alloc
+            trace.252
+            nop
             push.0
             push.3735929054
             movup.2
@@ -213,7 +265,11 @@ proc.wit_bindgen_rt::run_ctors_once
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.128
     u32and
     push.0
@@ -222,7 +278,11 @@ proc.wit_bindgen_rt::run_ctors_once
     if.true
         nop
     else
+        trace.240
+        nop
         exec.::miden:base/note-script@1.0.0::cross_ctx_note::__wasm_call_ctors
+        trace.252
+        nop
         push.1
         push.1048621
         push.0
@@ -232,13 +292,21 @@ proc.wit_bindgen_rt::run_ctors_once
         swap.1
         dup.1
         dup.1
+        trace.240
+        nop
         exec.::intrinsics::mem::load_sw
+        trace.252
+        nop
         push.4294967040
         u32and
         movup.3
         u32or
         movdn.2
+        trace.240
+        nop
         exec.::intrinsics::mem::store_sw
+        trace.252
+        nop
     end
 end
 
@@ -268,7 +336,11 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
         push.3735929054
     else
         movup.2
+        trace.240
+        nop
         exec.::miden:base/note-script@1.0.0::cross_ctx_note::core::ptr::alignment::Alignment::max
+        trace.252
+        nop
         push.0
         push.2147483648
         dup.2
@@ -303,15 +375,27 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
             assertz.err=250
             u32divmod.4
             swap.1
+            trace.240
+            nop
             exec.::intrinsics::mem::load_sw
+            trace.252
+            nop
             push.0
             neq
             if.true
                 push.0
                 swap.3
             else
+                trace.240
+                nop
                 exec.::intrinsics::mem::heap_base
+                trace.252
+                nop
+                trace.240
+                nop
                 exec.::intrinsics::mem::memory_size
+                trace.252
+                nop
                 dup.4
                 push.4
                 dup.1
@@ -329,7 +413,11 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
                 swap.1
                 u32divmod.4
                 swap.1
+                trace.240
+                nop
                 exec.::intrinsics::mem::store_sw
+                trace.252
+                nop
                 push.0
                 swap.3
             end
@@ -342,7 +430,11 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
             assertz.err=250
             u32divmod.4
             swap.1
+            trace.240
+            nop
             exec.::intrinsics::mem::load_sw
+            trace.252
+            nop
             push.0
             dup.3
             push.268435456
@@ -371,7 +463,11 @@ proc.<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc
                 swap.1
                 u32divmod.4
                 swap.1
+                trace.240
+                nop
                 exec.::intrinsics::mem::store_sw
+                trace.252
+                nop
                 push.1
                 swap.1
                 movup.2
@@ -403,6 +499,10 @@ proc.core::ptr::alignment::Alignment::max
 end
 
 export.cabi_realloc
+    trace.240
+    nop
     exec.::miden:base/note-script@1.0.0::cross_ctx_note::cabi_realloc_wit_bindgen_0_28_0
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/shl_i16.masm b/tests/integration/expected/shl_i16.masm
index 8f36bd37f..227d1977a 100644
--- a/tests/integration/expected/shl_i16.masm
+++ b/tests/integration/expected/shl_i16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/shl_i32.masm b/tests/integration/expected/shl_i32.masm
index 27d119bec..3b2e1437b 100644
--- a/tests/integration/expected/shl_i32.masm
+++ b/tests/integration/expected/shl_i32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/shl_i64.masm b/tests/integration/expected/shl_i64.masm
index 052fdece5..4a76ba813 100644
--- a/tests/integration/expected/shl_i64.masm
+++ b/tests/integration/expected/shl_i64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -29,6 +31,10 @@ export.entrypoint
     push.4294967295
     u32lte
     assert
+    trace.240
+    nop
     exec.::std::math::u64::shl
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/shl_i8.masm b/tests/integration/expected/shl_i8.masm
index 9d605d1a0..87b22dfe9 100644
--- a/tests/integration/expected/shl_i8.masm
+++ b/tests/integration/expected/shl_i8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/shl_u16.masm b/tests/integration/expected/shl_u16.masm
index 3a99c848f..ff81040de 100644
--- a/tests/integration/expected/shl_u16.masm
+++ b/tests/integration/expected/shl_u16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/shl_u32.masm b/tests/integration/expected/shl_u32.masm
index 0b3bb55bf..1c8a04b78 100644
--- a/tests/integration/expected/shl_u32.masm
+++ b/tests/integration/expected/shl_u32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/shl_u64.masm b/tests/integration/expected/shl_u64.masm
index 404a799f1..bc44fe3ee 100644
--- a/tests/integration/expected/shl_u64.masm
+++ b/tests/integration/expected/shl_u64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -29,6 +31,10 @@ export.entrypoint
     push.4294967295
     u32lte
     assert
+    trace.240
+    nop
     exec.::std::math::u64::shl
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/shl_u8.masm b/tests/integration/expected/shl_u8.masm
index 05464f417..097016627 100644
--- a/tests/integration/expected/shl_u8.masm
+++ b/tests/integration/expected/shl_u8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/shr_i64.masm b/tests/integration/expected/shr_i64.masm
index c17c92c19..2164a159b 100644
--- a/tests/integration/expected/shr_i64.masm
+++ b/tests/integration/expected/shr_i64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -29,6 +31,10 @@ export.entrypoint
     push.4294967295
     u32lte
     assert
+    trace.240
+    nop
     exec.::intrinsics::i64::checked_shr
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/shr_u16.masm b/tests/integration/expected/shr_u16.masm
index ab00d7779..7f91f26d8 100644
--- a/tests/integration/expected/shr_u16.masm
+++ b/tests/integration/expected/shr_u16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/shr_u32.masm b/tests/integration/expected/shr_u32.masm
index e65336ade..e22bb6534 100644
--- a/tests/integration/expected/shr_u32.masm
+++ b/tests/integration/expected/shr_u32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/shr_u64.masm b/tests/integration/expected/shr_u64.masm
index f8733cb21..ffd0fba40 100644
--- a/tests/integration/expected/shr_u64.masm
+++ b/tests/integration/expected/shr_u64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -31,6 +33,10 @@ export.entrypoint
     assert
     movdn.2
     movup.2
+    trace.240
+    nop
     exec.::std::math::u64::shr
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/shr_u8.masm b/tests/integration/expected/shr_u8.masm
index f7d73f3e2..b2372dd72 100644
--- a/tests/integration/expected/shr_u8.masm
+++ b/tests/integration/expected/shr_u8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/sub_felt.masm b/tests/integration/expected/sub_felt.masm
index 9e305697c..b69bc23be 100644
--- a/tests/integration/expected/sub_felt.masm
+++ b/tests/integration/expected/sub_felt.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/sub_i16.masm b/tests/integration/expected/sub_i16.masm
index d4ee43c03..657256edb 100644
--- a/tests/integration/expected/sub_i16.masm
+++ b/tests/integration/expected/sub_i16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/sub_i32.masm b/tests/integration/expected/sub_i32.masm
index 5b1b6a0eb..0d46ddec1 100644
--- a/tests/integration/expected/sub_i32.masm
+++ b/tests/integration/expected/sub_i32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/sub_i64.masm b/tests/integration/expected/sub_i64.masm
index 38767a492..89fed0a5a 100644
--- a/tests/integration/expected/sub_i64.masm
+++ b/tests/integration/expected/sub_i64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -19,6 +21,10 @@ end
 export.entrypoint
     movdn.3
     movdn.3
+    trace.240
+    nop
     exec.::std::math::u64::wrapping_sub
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/sub_i8.masm b/tests/integration/expected/sub_i8.masm
index 2c0ce168a..f14b39816 100644
--- a/tests/integration/expected/sub_i8.masm
+++ b/tests/integration/expected/sub_i8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/sub_u16.masm b/tests/integration/expected/sub_u16.masm
index 5c1b9d382..6d71bdf6f 100644
--- a/tests/integration/expected/sub_u16.masm
+++ b/tests/integration/expected/sub_u16.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/sub_u32.masm b/tests/integration/expected/sub_u32.masm
index a5c9c06d8..a556b2c98 100644
--- a/tests/integration/expected/sub_u32.masm
+++ b/tests/integration/expected/sub_u32.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/sub_u64.masm b/tests/integration/expected/sub_u64.masm
index 791384450..c3c06eac9 100644
--- a/tests/integration/expected/sub_u64.masm
+++ b/tests/integration/expected/sub_u64.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
@@ -19,6 +21,10 @@ end
 export.entrypoint
     movdn.3
     movdn.3
+    trace.240
+    nop
     exec.::std::math::u64::wrapping_sub
+    trace.252
+    nop
 end
 
diff --git a/tests/integration/expected/sub_u8.masm b/tests/integration/expected/sub_u8.masm
index a93f46c8e..408eef7e6 100644
--- a/tests/integration/expected/sub_u8.masm
+++ b/tests/integration/expected/sub_u8.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144
diff --git a/tests/integration/expected/types/array.masm b/tests/integration/expected/types/array.masm
index cbf685a18..f9efc3cd0 100644
--- a/tests/integration/expected/types/array.masm
+++ b/tests/integration/expected/types/array.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.2552035692683956824
     push.5323511717551755022
     push.6168074652703322390
@@ -10,7 +12,9 @@ export.init
     adv.push_mapval
     push.262144
     push.3
+    trace.240
     exec.::std::mem::pipe_preimage_to_memory
+    trace.252
     drop
     push.1048576
     u32assert
@@ -54,7 +58,11 @@ export.sum_arr
             assertz.err=250
             u32divmod.4
             swap.1
+            trace.240
+            nop
             exec.::intrinsics::mem::load_sw
+            trace.252
+            nop
             movup.2
             u32wrapping_add
             push.4294967295
@@ -109,10 +117,18 @@ end
 export.__main
     push.5
     push.1048576
+    trace.240
+    nop
     exec.::root_ns:root@1.0.0::test_rust_d63291a98b435c53f58385d5782fb46f0b0b78bee8e860843e7223106d66f7d6::sum_arr
+    trace.252
+    nop
     push.5
     push.1048596
+    trace.240
+    nop
     exec.::root_ns:root@1.0.0::test_rust_d63291a98b435c53f58385d5782fb46f0b0b78bee8e860843e7223106d66f7d6::sum_arr
+    trace.252
+    nop
     u32wrapping_add
 end
 
diff --git a/tests/integration/expected/types/static_mut.masm b/tests/integration/expected/types/static_mut.masm
index 08bc37a43..109cae6da 100644
--- a/tests/integration/expected/types/static_mut.masm
+++ b/tests/integration/expected/types/static_mut.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.11434542961250426374
     push.12905227908764935604
     push.12374698099726530180
@@ -10,7 +12,9 @@ export.init
     adv.push_mapval
     push.262144
     push.1
+    trace.240
     exec.::std::mem::pipe_preimage_to_memory
+    trace.252
     drop
     push.1048576
     u32assert
@@ -32,7 +36,11 @@ export.global_var_update
     u32assert
     u32divmod.4
     swap.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.128
     u32and
     push.1
@@ -48,17 +56,29 @@ export.global_var_update
     swap.1
     dup.1
     dup.1
+    trace.240
+    nop
     exec.::intrinsics::mem::load_sw
+    trace.252
+    nop
     push.4294967040
     u32and
     movup.3
     u32or
     movdn.2
+    trace.240
+    nop
     exec.::intrinsics::mem::store_sw
+    trace.252
+    nop
 end
 
 export.__main
+    trace.240
+    nop
     exec.::root_ns:root@1.0.0::test_rust_e6d553fb1c80aef6e5d6f2891701197bedac471cf510bd2495f99889d9543cd4::global_var_update
+    trace.252
+    nop
     push.3735929054
     push.0
     push.4294967287
@@ -72,7 +92,11 @@ export.__main
         u32wrapping_add
         u32divmod.4
         swap.1
+        trace.240
+        nop
         exec.::intrinsics::mem::load_sw
+        trace.252
+        nop
         push.128
         u32and
         movup.2
diff --git a/tests/integration/expected/xor_bool.masm b/tests/integration/expected/xor_bool.masm
index 62468cd23..487b81cc6 100644
--- a/tests/integration/expected/xor_bool.masm
+++ b/tests/integration/expected/xor_bool.masm
@@ -2,7 +2,9 @@
 
 export.init
     push.2162688
+    trace.240
     exec.::intrinsics::mem::heap_init
+    trace.252
     push.1048576
     u32assert
     mem_store.262144