https://blog.macoymejia.com/2011/10/15/dennis-ritchie-1941-2011/