Symbol: to_wcid_hi