pub const DT_PPC_OPT: u32 = _; // 1_879_048_193u32