Symbol: fasttrap_highbit