{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"sess.psess.attr_id_generator.mk_attr_id()"}]}
        sess.psess.attr_id_generator.mk_attr_id()
        let sess = self.sess.expect("can't decode AttrId without Session");
    }