{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"unadjusted_abi_align,"}]}
                unadjusted_abi_align,
                max_repr_align,
                randomization_seed: combined_seed,