pub const R_PPC64_ADDR16_HIGHESTA: u32 = 42; // 42u32