{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"self.encoder.emit_u32(index);"}]}
            self.encoder.emit_u32(index);
            self.encoder.emit_u8(SYMBOL_PREDEFINED);
        } else {