Symbol: GetNextHighMonotonicCount