pub const R_PPC64_UADDR16: u32 = 25;