Constant DT_VERDEFNUM 

pub const DT_VERDEFNUM: u32 = 1879048189; // 1_879_048_189u32