{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"loop"}]}
        loop {
        // time, the `grow` ensures it will succeed the second time.
            let start = self.start.get().addr();