The compiled Miden package is expected to export exactly one `auth__*` procedure. Test by compiling the `auth_no_auth` MASM example from https://github.com/0xMiden/miden-base/blob/e4912663276ab8eebb24b84d318417cb4ea0bba3/crates/miden-lib/asm/account_components/no_auth.masm?plain=1 and using it with `miden-client` in some local network integration test.