Constant islet_rmm::rmi::REC_AUX_COUNT

pub const REC_AUX_COUNT: usize = 0xc400_0167;