https://mamchenkov.net/wordpress/2011/10/13/dennis-ritchie-rip/
Dennis Ritchie, RIP