I figured maybe the strspn maybe was missing a letter from the alphabet, so better be safe then sorry since you guys didn't want to generate more possible cases incrementally over time (even though the actually used string was always printed out - hence 100% reproducible in case of "random" failure)