{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":".field(\"randomization_seed\","}]}
            .field("randomization_seed", randomization_seed)
            .field("unadjusted_abi_align", unadjusted_abi_align)
            .finish()