{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"for"}]}
                for idx in n..new_n {
                trace!("encoding {} further alloc ids", new_n - n);
                    let id = self.interpret_allocs[idx];