{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
        // This loop executes once or twice: if allocation fails the first
        // time, the `grow` ensures it will succeed the second time.