Can you suggest a technical precise wording for this, or is `#pragma pack(1) // required to ensure proper alignment` good enough?

"Required because otherwise GCC's alignment assumptions break things" makes it sound as if GCC was broken in some way, which I don't think is true (rather, I'd say we were relying on undefined behavior before).