Paul Jurczak:
Using long names vs. short ones will substantially inflate zip file size, but will not affect LOC count.
On the other hand if you use a very good compressor (like the PPMd of 7Zip or even better a PAQ by the good Matt) the identifier names that are mostly a concatenation of English words will be compressed to around 1-2 bits/char.
Bye, bearophile
