pub const __WARNING_INCORRECT_ANNOTATION: u32 = 26007u32;