{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"dl.vector_align.push((v_size,"}]}
                    dl.vector_align.push((v_size, a));
                    // No existing entry, add a new one.
                }