Struct sizes and padding rules decide binary compatibility: the Linux kernel ABI, network protocol structs, and every mmap'd file format depend on the layout arithmetic you are exploring. Real projects run pahole to find padding holes — reordering fields has shrunk kernel structures by double-digit percentages.