Constant DT_MIPS_PIXIE_INIT 

pub const DT_MIPS_PIXIE_INIT: i64 = 0x7000_0023;