[dorgo]

I missunderstood "finite-length strings" as strings capped in length by a finite number N.