{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//"}]}
                    // If we have found new IDs, serialize those too.
                    let new_n = encoder.interpret_allocs.len();
                    if n == new_n {