https://blog2.enreda.coop/dennis-ritchie-in-memoriam/