Now creates unique symbols for op counts.