Constant DT_VERDEFNUM 

pub const DT_VERDEFNUM: usize = 0x6ffffffd;