whoa... they put a lot more care info the autogeneration than I did.

What do you mean by verify?

is there some way to bake in a bunch of `const _ : () = assert( ... )` statements that would bridge the gap between C and rust in a way that would let the compiler catch it?

or maybe you might mean having the C portion print sizes and offsets, and having the rust portion do the same and looking at it manually?