{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"///"}]}
///         // stitch the values together.
///         // Basically the same as with smaller tags, we just have to
///         let tag: u128 = (enum_value.field("tag128_lo").value as u128) |