pub const PRAGMA_DEPRECATED_DDK: u32 = 1u32;