However, I don't think Frederick has realized yet that his "packed TokenInfo" (where the attribute cracks open the curly braces and applies itself to all subobjects recursively) is-not-a kind of "TokenInfo". There are things you can do with a "TokenInfo" which you physically cannot do with such a "packed TokenInfo." One example is "fetch its `c` member with an aligned load instruction" (because the packed TokenInfo's `c` is misaligned). Another example is "evaluate `&p->c` and have it give you a pointer of type `long unsigned*`" (because the language assumes that it's always safe to load from a `long unsigned*` using an aligned load instruction).