{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"unadjusted_abi_align:"}]}
            unadjusted_abi_align: elt.align.abi,
            max_repr_align: None,
            randomization_seed: elt.randomization_seed.wrapping_add(Hash64::new(count)),