pub const DIAGNOSTIC_REASON_NOT_SPECIFIED: u32 = 2147483648; // 2_147_483_648u32