1(use "type_a.witx")
2(typename $b (struct (field $member_a $a)))
3