Symbol: FASTTRAP_INT