よくわからんが、構造体がネストしてたらそれを再帰的にやるんだろう。

Cの型定義をパースしてサイズやオフセットを返すだけの
モジュールでも作れば需要ありそうだな。
C言語作ってるならともかく、自作言語のFFI周りの作成とかでは
誰もがやりたくない部分の１つだし。