pub const R_PPC64_SECTOFF_HI: u32 = R_PPC_SECTOFF_HI; // 0x0000_0023u32