static DATA: &[u8] = &[
0x00, 0x00, 0x00, 0x00, 0x0b, 0x0b, 0x63, 0x74, 0x79, 0x70, 0x65, 0x5f, 0x61, 0x6c, 0x6e, 0x75,
0x6d, 0x0b, 0x63, 0x74, 0x79, 0x70, 0x65, 0x5f, 0x61, 0x6c, 0x6e, 0x75, 0x6d, 0x01, 0x04, 0x74,
0x65, 0x78, 0x74, 0x01, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x01, 0x0d, 0x00,
0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x0b, 0x63, 0x74, 0x79, 0x70, 0x65, 0x5f, 0x61,
0x6c, 0x70, 0x68, 0x61, 0x0b, 0x63, 0x74, 0x79, 0x70, 0x65, 0x5f, 0x61, 0x6c, 0x70, 0x68, 0x61,
0x01, 0x04, 0x74, 0x65, 0x78, 0x74, 0x01, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01,
0x01, 0x0d, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x0b, 0x63, 0x74, 0x79, 0x70,
0x65, 0x5f, 0x63, 0x6e, 0x74, 0x72, 0x6c, 0x0b, 0x63, 0x74, 0x79, 0x70, 0x65, 0x5f, 0x63, 0x6e,
0x74, 0x72, 0x6c, 0x01, 0x04, 0x74, 0x65, 0x78, 0x74, 0x01, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x01, 0x01, 0x0d, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x0b, 0x63,
0x74, 0x79, 0x70, 0x65, 0x5f, 0x64, 0x69, 0x67, 0x69, 0x74, 0x0b, 0x63, 0x74, 0x79, 0x70, 0x65,
0x5f, 0x64, 0x69, 0x67, 0x69, 0x74, 0x01, 0x04, 0x74, 0x65, 0x78, 0x74, 0x01, 0x01, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x01, 0x0d, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x0b, 0x63, 0x74, 0x79, 0x70, 0x65, 0x5f, 0x67, 0x72, 0x61, 0x70, 0x68, 0x0b, 0x63, 0x74,
0x79, 0x70, 0x65, 0x5f, 0x67, 0x72, 0x61, 0x70, 0x68, 0x01, 0x04, 0x74, 0x65, 0x78, 0x74, 0x01,
0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x01, 0x0d, 0x00, 0x01, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x0b, 0x63, 0x74, 0x79, 0x70, 0x65, 0x5f, 0x6c, 0x6f, 0x77, 0x65, 0x72,
0x0b, 0x63, 0x74, 0x79, 0x70, 0x65, 0x5f, 0x6c, 0x6f, 0x77, 0x65, 0x72, 0x01, 0x04, 0x74, 0x65,
0x78, 0x74, 0x01, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x01, 0x0d, 0x00, 0x01,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x0b, 0x63, 0x74, 0x79, 0x70, 0x65, 0x5f, 0x70, 0x72,
0x69, 0x6e, 0x74, 0x0b, 0x63, 0x74, 0x79, 0x70, 0x65, 0x5f, 0x70, 0x72, 0x69, 0x6e, 0x74, 0x01,
0x04, 0x74, 0x65, 0x78, 0x74, 0x01, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x01,
0x0d, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x0b, 0x63, 0x74, 0x79, 0x70, 0x65,
0x5f, 0x70, 0x75, 0x6e, 0x63, 0x74, 0x0b, 0x63, 0x74, 0x79, 0x70, 0x65, 0x5f, 0x70, 0x75, 0x6e,
0x63, 0x74, 0x01, 0x04, 0x74, 0x65, 0x78, 0x74, 0x01, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x01, 0x01, 0x0d, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x0b, 0x63, 0x74,
0x79, 0x70, 0x65, 0x5f, 0x73, 0x70, 0x61, 0x63, 0x65, 0x0b, 0x63, 0x74, 0x79, 0x70, 0x65, 0x5f,
0x73, 0x70, 0x61, 0x63, 0x65, 0x01, 0x04, 0x74, 0x65, 0x78, 0x74, 0x01, 0x01, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x01, 0x01, 0x0d, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x0b, 0x63, 0x74, 0x79, 0x70, 0x65, 0x5f, 0x75, 0x70, 0x70, 0x65, 0x72, 0x0b, 0x63, 0x74, 0x79,
0x70, 0x65, 0x5f, 0x75, 0x70, 0x70, 0x65, 0x72, 0x01, 0x04, 0x74, 0x65, 0x78, 0x74, 0x01, 0x01,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x01, 0x0d, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x0c, 0x63, 0x74, 0x79, 0x70, 0x65, 0x5f, 0x78, 0x64, 0x69, 0x67, 0x69, 0x74,
0x0c, 0x63, 0x74, 0x79, 0x70, 0x65, 0x5f, 0x78, 0x64, 0x69, 0x67, 0x69, 0x74, 0x01, 0x04, 0x74,
0x65, 0x78, 0x74, 0x01, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x01, 0x0d, 0x00,
0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
];
pub(crate) fn register(codebase: &mir_codebase::Codebase) {
let (slice, _): (mir_codebase::StubSlice, _) =
bincode::serde::decode_from_slice(DATA, bincode::config::standard())
.expect("corrupt stubs_ctype stub data");
codebase.inject_stub_slice(slice);
}