A much more interesting discussion of this topic <a href="http:&#x2F;&#x2F;cristal.inria.fr&#x2F;~weis&#x2F;info&#x2F;commandline.html" rel="nofollow">http:&#x2F;&#x2F;cristal.inria.fr&#x2F;~weis&#x2F;info&#x2F;commandline.html</a>