It says "7 or more". Can we do a quick survey of other implementations to see how they cope with larger values? We don't want to allow lengths that result in biased counters or something.