Yeah, I was wondering if you could use `AbstractVector{Int}` safely here.