pub const R_CKCORE_ADDRPLT_HI16: u32 = 38;