It seems that `RandomValuesWithMax` is correct. 9e3a080aa3/seq/random.go (L15)
9e3a080aa3/seq/random.go (L15)