//! Unreachable stubs for Miden base SDK functions.
//!
//! These stubs are compiled by build.rs into a separate rlib and
//! linked to `miden-base-sys` so that the Wasm translator can lower
//! the calls appropriately. They are not part of the crate sources.
// No panic handler here; the stubs are packaged as a single object into a
// static archive by build.rs to avoid introducing panic symbols.