pub const R_PPC_UADDR16: u32 = 25;