I heard a story that the original indentation style that K&amp;R wanted to use was the same as Allman, but then the printers chose to do the current K&amp;R style to save paper.<p>Does any one know if that&#x27;s true, or just an urban legend?