{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
                // to be able to run until the heat death of the universe or power loss, whichever
                // By default, we stop after a million steps, but the user can disable this lint
                // comes first.