suppose I've got a C library lib_something.a from gcc
and then I build wrapper.elf in rustc

and they rely on a FFI binding that assumes a particular struct layout/alignment

I feel as if the debug symbols / debug type information should contain enough to be able to tell if they match of not