{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"//"}]}
            // new ones.
            // Recompute the number of definitions each time, because our caller may be creating
            while i < { definitions.read().num_definitions() } {