pub fn wrap_as_tt(oracle_c: &str) -> TtArtifactExpand description
Build the TT-Metalium artifact from the self-contained C translation of the
program. The C body is reused verbatim except: system #include <...> lines
are dropped (the kernel preamble supplies the on-core headers) and main is
renamed to logos_main, which kernel_main invokes.