{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"unadjusted_abi_align"}]}
                    unadjusted_abi_align = unadjusted_abi_align.max(st.unadjusted_abi_align);
                    max_repr_align = max_repr_align.max(st.max_repr_align);