pub const R_PPC_SECTOFF_HI: u32 = 35;