Given the code being analyzed, you actually know that the length should be == 1.