pub const DT_MIPS_SYMBOL_LIB: u32 = 0x7000_0024;