{"ast_node_type":"import","tokens":[{"end":53,"kind":"keyword","start":0,"text":"//"}]}
        // don't use the alignment as the final size.
        // If the alignment is not larger than the chosen discriminant size,
        if ity <= min_ity {