pub const R_MIPS_SHIFT5: u32 = 16;