{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"ecx.machine.num_evaluated_steps"}]}
            ecx.machine.num_evaluated_steps = new_steps;
            // By default, we have a *deny* lint kicking in after some time