Constant NOVA_ENTRY_SYMBOL 

pub const NOVA_ENTRY_SYMBOL: &str = "nova_main";

The symbol name the MIR main gets in object files, so the exported C-ABI main(argc, argv) wrapper can keep the conventional name.