dennis-ritchie-m