{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
/// 128-bit integers, so all values involved get split into two 64-bit fields.
/// WinDbg (the main targets for CPP-like debuginfo at the moment) don't support
/// Instead of the `tag` field, we generate two fields `tag128_lo` and `tag128_hi`,