{"ast_node_type":"import","tokens":[{"end":102,"kind":"keyword","start":0,"text":"//"}]}
                // `new_steps` is guaranteed to be unique because `ecx.machine.num_evaluated_steps` is
                // We store a unique number in `force_duplicate` to evade `-Z deduplicate-diagnostics`.
                // always increasing.