semantic: Correct size for AAs
semantic: Account for alignment of structs fields for size