What about `DefStruct`?