pub const R_MIPS_HIGHER: u32 = 28;