pub const R_PPC_UADDR16: u32 = 25; // 25u32