Ulrich Eckhardt <doomster at knuut.de> writes: > That said, [[]]*500 is IMHO more readable. But the issue in the thread is that it does the wrong thing.