cross-platform concerns

the c2rust FAQ says that transpiled code is likely to be platform-specific. But the output of c2rust is included in this source. Are there guarantees that the shipped .rs will work when run on a platform that isn't x86-64?

For debian packaging, i typically want to use the "preferred form of modification" for the source -- here, i suspect that'd be the .c and .h files, since the transpiling appears to be a postprocessing step. I think this would avoid any particular cross-platform building issues because the generated rust will end up being appropriate for the platform.

but c2rust itself isn't in debian yet, which makes it difficult to run the full toolchain at build time for this package.

Any suggestions on how to best proceed? I'm feeling stuck here.