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