pub const CONFIG_PRAGMA_DIAGNOSTIC_AVAILABLE: u32 = 1;