pub const R_PPC_TPREL16_HI: u32 = 71; // 71u32