Yes; the layout of a tuple is guaranteed to be the basic in-order rounding-to-alignment layout. We don’t guarantee that primitive type alignments will match C in all cases, but if you have a tuple with no need for alignment padding, it should have the obvious layout.