In reality this should never happen

Christoph

/* I give up on trying to do this the right way. We’ll just
* request as many elements as possible. If that’s not the
* entire string, we’re f*cked. In reality this should never
* happen. (That’s the second time I get to say ‘this should
* never happen’ in this file!) */