pub const KCOV_DISABLE: u32 = 25445;