Symbol: len_hi