{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
            // By default, we have a *deny* lint kicking in after some time
            ecx.machine.num_evaluated_steps = new_steps;
            // to ensure `loop {}` doesn't just go forever.