Symbol: hstate_index_to_shift