{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"encoder.emit_raw_bytes(&RLINK_VERSION.to_be_bytes());"}]}
        encoder.emit_raw_bytes(&RLINK_VERSION.to_be_bytes());
        // Encoder's inner representation of `u32`.
        encoder.emit_str(sess.cfg_version);