{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"expn_data.insert(hash,"}]}
                        expn_data.insert(hash, pos);
                        encoder.encode_tagged(TAG_EXPN_DATA, data);
                    } else {