pub const NOVA_ENTRY_SYMBOL: &str = "nova_main";
The symbol the MIR main is emitted under, leaving the conventional main name for the exported C entry wrapper (matching the Cranelift object path).
main