Generate Frama-C compatible output

[vkuncak]

Given the realistic concern of bugs in the transpiler, we should consider generating C code whose at least memory safety can be checked independently, using, for example, Frama-C:

https://frama-c.com/html/documentation.html