Noticed another thing: typeinfos create type names 16 byte aligned (.rodata.str1.16) resulting in a lot of padding, but this alignment is not in IR. Is it a bug?