{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"unadjusted_abi_align:"}]}
        unadjusted_abi_align: align.abi,
        max_repr_align: None,
        randomization_seed: Default::default(),