Dennis Ritchie — Remembered