{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"while"}]}
    while i < alloc.size() {
        // The line start already has a space. While we could remove that space from the line start