more testing code
generate arbitrary strings with different character ranges for quickcheck