pub const MAX_EXECUTION_TRACE_DEPTH: usize = 16;