Farewell, Dennis Ritchie.

Farewell, Dennis Ritchie.