pub const R_TILEPRO_IMM16_X0_TLS_IE_HA: u32 = 80;