soft3/radio/audit/2026-10-12-bao-bounded-proof/nostd/src/main.rs

#![no_std]
#![no_main]
#[unsafe(no_mangle)]
pub extern "C" fn _start() -> ! {
    let _ = core::hint::black_box(bao_proof_nostd_probe::job(&[]));
    loop { core::hint::spin_loop(); }
}
#[panic_handler]
fn panic(_: &core::panic::PanicInfo<'_>) -> ! { loop { core::hint::spin_loop(); } }