pub const MAX_EXECUTION_TRACE_DEPTH: usize = 16; // 16usize