{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"///"}]}
/// Instead of the `tag` field, we generate two fields `tag128_lo` and `tag128_hi`,
/// 128-bit integers, so all values involved get split into two 64-bit fields.
/// Instead of `DISCR_EXACT`, we generate `DISCR128_EXACT_LO` and `DISCR128_EXACT_HI`,