extern crate aux_25185_1;

pub use aux_25185_1::rust_dbg_extern_identity_u32;