В моём примере в строках с четвёртую по седьмую объявляется ТИП
"структура Икс". Объявлений экземпляра этой структуры (и вообще, каких бы то ни было переменных) в примере нет.
Все созданные экземпляры данной структуры будут с той упаковкой, какая была указана при объявлении типа, вне зависимости от pack(X), которая действует в месте создания экземпляра. В противном случае сломается вообще всё.
Вот тут во втором ответе разжёвано в примерах отличия definition / declaration: https://stackoverflow.com/questions/1410563/what-is-the-difference-between-a-definition-and-a-declaration